Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Petri net

Known as: Petri nets, Petri-Net, Petrinet 
A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the description of distributed… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2003
Highly Cited
2003
The Internet is going through several major changes. It has become a vehicle of Web services rather than just a repository of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
A supervisor synthesis technique for Petri net plants with uncontrollable and unobservable transitions, that enforces the… Expand
  • figure 1
  • table I
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2000
Highly Cited
2000
  • W. V. Aalst
  • Business Process Management
  • 2000
  • Corpus ID: 1170352
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of… Expand
  • figure 1
Is this relevant?
Highly Cited
1998
Highly Cited
1998
  • W. V. Aalst
  • J. Circuits Syst. Comput.
  • 1998
  • Corpus ID: 7538284
Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1996
Highly Cited
1996
A collection of 10 “rules of thumb” is presented that helps to determine the decidability and complexity of a large number of… Expand
  • figure 3
  • figure 6
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Currently, the Dutch Customs Department is building a nationwide information system to handle all kinds of declarations related… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
In this paper we illustrate a compositional method for modeling the concurrent execution of working processes in flexible… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1993
Highly Cited
1993
  • M. Zhou, F. DiCesare
  • The Kluwer international series in engineering…
  • 1993
  • Corpus ID: 61036087
List of Figures. List of Tables. 1. Introduction. 2. Petri Nets and Manufacturing Systems. 3. Parallel Mutual Exclusions. 4… Expand
Is this relevant?
Highly Cited
1984
Highly Cited
1984
  • E. Mayr
  • SIAM J. Comput.
  • 1984
  • Corpus ID: 5884932
An algorithm is presented for the general Petri net reachability problem. It is based on a generalization of the basic… Expand
Is this relevant?
Highly Cited
1981
Highly Cited
1981
 
Is this relevant?