Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,398,464 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
A Smart Card Based Efficient and Secured Multi-Server Authentication Scheme
Bin Wang
,
M. Ma
Wireless personal communications
2012
Corpus ID: 39243737
Increasing popularity of the multi-server architecture has propelled the research on the multi-server authentication schemes…
Expand
Highly Cited
2008
Highly Cited
2008
Colored Petri Nets
A. Zimmermann
2008
Corpus ID: 63019443
Highly Cited
2005
Highly Cited
2005
An application of Petri nets to supervisory control for human-computer interactive systems
Jin-Shyan Lee
,
Mengchu Zhou
,
P. Hsu
IEEE transactions on industrial electronics…
2005
Corpus ID: 14088570
In a distributed robotic system, both human-controlled (semi-autonomous) and computer-controlled (fully autonomous) robots may…
Expand
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
2001
Highly Cited
2001
Epitaxial Growth of High Dielectric Contrast Three‐Dimensional Photonic Crystals
P. Braun
,
Robert W. Zehner
,
+4 authors
P. Wiltzius
2001
Corpus ID: 15368100
The average size of the silver nanoparticles, prepared by the method of Korgel and co-workers [10], is approximately 5 nm. A…
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
Review
1991
Review
1991
Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems
I. Koh
,
F. DiCesare
IEEE Transactions on Systems, Man and Cybernetics
1991
Corpus ID: 34891100
The authors present transformation methods for generalized Petri nets by introducing and using the concept of a live and bounded…
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