Archive of Postings

General Search Interface

Search with fixed string (fast)

and years >= 2007>= 2006>= 2005>= 2004>= 2003>= 2002>= 2001>= 2000>= 1999>= 1998>= 1997>= 1996>= 1995>= 1994>= 1993>= 1992>= 1991

Search with regular expression (flexible)

and years >= 2007>= 2006>= 2005>= 2004>= 2003>= 2002>= 2001>= 2000>= 1999>= 1998>= 1997>= 1996>= 1995>= 1994>= 1993>= 1992>= 1991

Browse by year

Browse by selected topics

Announcements

• Meetings such as conferences and workshops
• New publications
• Tools and software
• Open positions
• Web sites

Introductions, tutorials, overviews, and surveys

• Training, education, and teaching
• Introductory material
• Standards
• Terminology
• Surveys

Publications and bibliographies

• New publications
• Bibliographies
• Petri Net Newsletter
• Author instructions and text processing

Various kinds of Petri Nets

• High-level Petri Nets
• Object-oriented Petri Nets
• Timed Petri Nets
• Self-modifying Petri Nets
• Stochastic Petri Nets
• Queueing networks
• Hybrid Petri Nets
• Fuzzy Petri Nets
• Special arcs

Analysis methods and techniques

• Synchronic distance
• Binary decision diagrams
• State spaces, reachability trees, occurrence graphs
• Condensed state spaces
• Linear invariants and flows
• Boundedness properties
• Home properties
• Liveness properties
• Deadlock issues
• Fairness properties
• Reduction rules

Application domains and case studies

• Applications and case studies
• Business process modelling
• Cryptography
• CSCW
• Hardware design
• Hypermedia and multimedia
• Manufacturing systems
• Military and defence systems
• Logistics and transportation systems
• Supervisory control
• Modelling techniques
• Performance modelling
• Protocol design
• Synthesis
• VLSI
• Work-flow modelling
• UML

Implementation issues, tool development, code generation

• Tools and software
• Code generation
• Calculate enabledness of transitions
• Implementation
• Developer libraries
• Synthesis
• Java

Related approaches and similar languages

• Formal methods
• SADT/IDEF
• Statecharts
• LOTOS
• SDL
• VHDL
• DEVS
• Logics
• Process algebras
• Concurrency
• Discrete event systems
• Finite state machines
• Translation from/to other languages
• Neural networks

People

• Carl Adam Petri
• Steering committee

Miscellaneous

• Theory
• Unfolding