Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,206,860 papers from all fields of science
Search
Sign In
Create Free Account
Petri net
Known as:
Petri nets
, Petri-Net
, Petrinet
Expand
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Activity diagram
Actor model
Algebraic Petri net
Asynchronous circuit
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
Physical and Chemical Mechanisms in Molecular Radiation Biology
W. Glass
,
M. Varma
Basic life sciences
2012
Corpus ID: 44375724
Through its Radiological and Chemical Physics Program, the Department of Energy (DOE) has been a primary source of funding for…
Expand
Highly Cited
2005
Highly Cited
2005
Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science)
J. Desel
,
J. Esparza
2005
Corpus ID: 60525740
Highly Cited
2002
Highly Cited
2002
Inheritance of Interorganizational Workflows to Enable Business-to-Business E-Commerce
Wil M.P. van der Aalst
Electronic Commerce Research
2002
Corpus ID: 8855876
The World-Wide-Web is fast becoming a crucial medium for electronic commerce. Many companies are now involved in on-line…
Expand
Highly Cited
2000
Highly Cited
2000
Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems
Jonghun Park
,
S. Reveliotis
IEEE Trans. Robotics Autom.
2000
Corpus ID: 15419658
Deadlock avoidance in sequential resource allocation systems is a well-defined problem in discrete event system literature, as it…
Expand
1999
1999
Performance analysis of traffic control system based on stochastic timed Petri net models
Jiacun Wang
,
Yi Deng
,
Chun Jin
Proceedings. Twenty-Third Annual International…
1999
Corpus ID: 40855743
We present a new modeling method to evaluate the performance indices of traffic control systems where each intersection has two…
Expand
Highly Cited
1998
Highly Cited
1998
Growth and virulence of mountain pine beetle associated blue-stain fungi, Ophiostoma clavigerum and Ophiostoma montium
H. Solheim
,
P. Krokene
1998
Corpus ID: 55920311
The mountain pine beetle (Dendroctonus ponderosae) is commonly associated with the blue-stain fungi Ophiostoma clavigerum and…
Expand
Highly Cited
1993
Highly Cited
1993
New trends in system reliability evaluation
K. Misra
1993
Corpus ID: 60570572
Highly Cited
1990
Highly Cited
1990
Refinement of Actions in Causality Based Models
R. V. Glabbeek
,
U. Goltz
REX Workshop
1990
Corpus ID: 44720759
We consider an operator for refinement of actions to be used in the design of concurrent systems. Actions on a given level of…
Expand
Highly Cited
1989
Highly Cited
1989
Adaptive design of Petri net controllers for error recovery in automated manufacturing systems
Mengchu Zhou
,
F. DiCesare
IEEE Transactions on Systems, Man and Cybernetics
1989
Corpus ID: 30316837
The concept of Petri net controllers is extended to include automatic error recovery and adaptive design. In the Petri net…
Expand
Highly Cited
1978
Highly Cited
1978
A Synthesis Rule for Concurrent Systems
T. Agerwala
,
Yong-Chai Choed-Amphai
Design Automation Conference
1978
Corpus ID: 15248776
Concurrent (hardware and software) systems can become extremely complex due to the existence of multiple loci of control…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE