Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Activity diagramActor modelAlgebraic Petri netAsynchronous circuit

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Colored Petri Nets
Highly Cited
2005
Highly Cited
2005
An application of Petri nets to supervisory control for human-computer interactive systems
In a distributed robotic system, both human-controlled (semi-autonomous) and computer-controlled (fully autonomous) robots may… 
Highly Cited
2001
Highly Cited
2001
Epitaxial Growth of High Dielectric Contrast Three‐Dimensional Photonic Crystals
The average size of the silver nanoparticles, prepared by the method of Korgel and co-workers [10], is approximately 5 nm. A… 
1999
1999
Performance analysis of traffic control system based on stochastic timed Petri net models
We present a new modeling method to evaluate the performance indices of traffic control systems where each intersection has two… 
Highly Cited
1996
Highly Cited
1996
Conservative adaption of workflow
Business processes and, tberefore, workflow models are often adapted. Adaptations can be caused eitber by procedural changes… 
Review
1991
Review
1991
Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems
The authors present transformation methods for generalized Petri nets by introducing and using the concept of a live and bounded… 
Review
1991
Review
1991
Petri Net Tool Overview 1992
This paper provides an overview of the characteristics of all net based tools which are known to be currently available. It is a… 
Highly Cited
1988
Highly Cited
1988
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols
The PROTEAN protocol emulation and analysis computer aid is presented. It is based on a formal specification technique called… 
Highly Cited
1987
Highly Cited
1987
Synthesis of Place Transition Nets for Simulation and Control of Manufacturing Systems
Highly Cited
1978
Highly Cited
1978
A Synthesis Rule for Concurrent Systems
Concurrent (hardware and software) systems can become extremely complex due to the existence of multiple loci of control… 
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)