Petri Nets

Keywords

Petri net, Liveness, Event (particle physics), Equivalence (formal languages), Abstraction

References

• Fundamentals of a Theory of Asynchronous Information FlowC. A. Petri — 1962
• Grundsätzliches zur Beschreibung Diskreter ProzesseC. Petri — 1967

Cited by

• EWFN - A Petri Net Dialect for Tuplespace-Based Workflow EnactmentDaniel Martin, Daniel Wutke, Frank Leymann — 2008
• Visualizing metabolic activity on a genome-wide scaleAngela C. M. Luyf, J. de Gast, Antoine H. C. van Kampen — 2002
• (Symbolic) state-space inspection of a class of dynamic Petri netsLorenzo Capra — 2010
• Methods for the supervisory control of concurrent systems based on petri net abstractionsMarian V. Iordache — 2004
• Embedded Software — An Agenda for ResearchEdward A. Lee — 1999
• Survey of Formal Specification Techniques for Reactive SystemsPatrick R. Place, W. G. Wood, Mike Tudball — 1990
• A Petri net approach to behavioural simulation of design artefacts with application to mechatronic designZühal Erden, Abdülkadir Erden, Aydan M. Erkmen — 2003
• The ecce Partial Deduction SystemMichaël Leuschel — 1997
• Graph transformation systems, Petri nets and Semilinear Sets: Checking for the Absence of Forbidden Paths in GraphsBarbara Koenig — 2007
• Parameterized High-Level Grafcet for Structuring Real-Time KBS ApplicationsKarl-Erik Årzén — 1994
• Model-Based Testing of Distributed SystemsAhmad A. Saifan, Juergen Dingel — 2008
• Generating Integrated Interpretation of Partial Information Based on Distributed Qualitative ReasoningTakashi Nishiyama, Osamu Katai, Sosuke Iwai — 1991
• Combining CCSL and Esterel to specify and verify time requirementsCharles André, Frédéric Mallet — 2009
• Petri Net Based Software Validation Prospects and LimitationsMonika Heiner — 2004
• Petri nets as discrete event models for supervisory controlAlessandro Giua — 1992
• FUNCTIONAL AND PERFORMANCE MODELING AND ANALYSIS OF TOKEN RING USING EMPAMarco Bernardo, Mario Bravetti — 2011
• PZ nets a formal method integrating Petri nets with ZXudong He — 1995
• Petri Nets for Systems EngineeringClaude Girault, Rüdiger Valk — 2003
• Petri net model decomposition - a model based approach supporting distributed executionAnikó Costa — 2010
• Nomadic π-calculi: expressing and verifying communication infrastructure for mobile computationAsis Unyapoth — 2001

Related papers

• Communicating Sequential ProcessesTony Hoare — 1985
• A Calculus of Communicating SystemsR. Milner — 1980
• The Application of Petri Nets to Workflow ManagementWil M. P. van der Aalst — 1998
• Parallel Program SchemataRichard M. Karp, Raymond E. Miller — 1969
• Statecharts: A Visual Formalism for Complex SystemsDavid Harel — 1987
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systemsMarco Ajmone Marsan, G. Conte, Gianfranco Balbo — 1984
• The Non-sequential Behavior of Petri NetsUrsula Goltz, Wolfgang Reisig — 1983
• Recoverability of Communication Protocols - Implications of a Theoretical StudyPhilip M. Merlin, David Farber — 1976
• A distributed operational semantics for CCS based on condition/event systemsPierpaolo Degano, Rocco De Nicola, Ugo Montanari — 1988