www.informatik.uni-hamburg.de/TGI/PetriNets Imprint/Disclaimer
Petri Nets World Logo
Welcome to the Petri Nets World

The purpose of the Petri Nets World is to provide a variety of online services for the international Petri Nets community. The services constitute, among other things, information on the International Conferences on Application and Theory of Petri Nets, mailing lists, bibliographies, tool databases, newsletters, and addresses. The Petri Nets Steering Committee supervises these activities, and the site is maintained by the TGI group at the University of Hamburg, Germany.

Contents of the Petri Nets World


Papers, books, and tutorials which introduces the basic concepts of Petri Nets.

Frequently Asked Questions
Typical occurring questions about Petri Nets. Who is Carl Adam Petri? Which kinds of Petri Nets exist? How is "Petri Nets" written in different languages?

Related Links
Contains miscellaneous links to external Web pages about Petri Nets, related topics, search engines, and special interest groups.

Applications and Artifacts

Tools and Software
Search databases for software packages which support Petri Nets. Also find several online Petri Nets Java Applets.

Success Stories
Case studies on Petri Nets applications in academia and industry.

Follow the current progress of the work on making an ISO standard for high-level Petri Nets. Note also the activity on designing an interchange format for Petri Nets.


Search large publication databases on Petri Nets. In particular the Petri Nets Bibliography contains thousands of entries.

Information on the Petri Net Newsletter. Also contains a listing of similar journals, newsletters, and other regularely published material.


Research Activities
Contains a list of Petri Nets research groups and projects from academia and industry.

Education with Petri Nets
Resources for teachers and students from academia and industry. Also contains information on advanced courses on Petri Nets, and other courses and schools.


Meetings and Events
Calendar of symposia, conferences, workshops, and similar events. Contains information on important events such as the Conferences on Application and Theory of Petri Nets or the Workshops on Petri Nets and Performance Models. Events announced on the PetriNets Mailing List are also listed here.

Mailing Lists
Primary forums for announcements and discussions on all topics on Petri Nets. View subscription information and archive of postings.


People working with Petri Nets. Search in the address database or find people's homepages. Photographs of people.

Steering Committee
Contains photographs and contact information for the members of the Petri Nets steering committee.

Information from the Steering Committee
Links to recent emails from the Steering Committee to the Petri net community.

Petri Nets History
Articles and information concerning the history of Petri Nets and the people who worked with them.

Recent News in the Petri Nets World

May 16, 2019: [3rd Call for Papers] ASYDE 2019 @ SEFM 2019

May 16, 2019: CFP CCPE Special Issue on Future Perspectives of Decentralized Applications @ Journal on Concurrency and Computation: Practice and Experience

May 15, 2019: Second CfP: 9th International Young Researchers Workshop on Concurrency Theory

May 15, 2019: ETAPS 2020: Call for Satellite Events

May 15, 2019: RAMiCS2020 - CFP

May 13, 2019: CFP SICS 2019 @ EDCC'19 (17-20 Sept 2019; Naples, Italy)

May 13, 2019: VTSA 2019: final call for applications

May 8, 2019: FOCLASA 2019 - CFP

May 8, 2019: ITHET 2019 - Second Call for Special Session Proposals

May 7, 2019: SYNASC 2019 - 3rd Call for Papers

May 7, 2019: FROM 2019 - 3rd Call for Papers

May 6, 2019: SEFM 2019 - Final CfP with Extended Deadlines

May 6, 2019: [CFP] ISPEC 2019 + 2 Special Issues (IEEE Access, Concurrency and Computation)

April 29, 2019: [DisCoTec 2019] Call for Participation

April 27, 2019: cfp: FPDAPP - 2nd International Workshop on Future Perspective of Decentralized APPlications

April 25, 2019: CFP: IEEE DS-RT 2019 (October 7-9, 2019 - Cosenza, Italy)

April 25, 2019: PostDoc in Verification of Simulink Models

April 24, 2019: INCoS-2019 Call for Papers, September 5-7, 2019, Japan, Submission Deadline May 20

April 15, 2019: Workshop and School on Reaction Systems - Call for Participation

April 11, 2019: FORMATS 2019 (Amsterdam): new submission schedule

April 10, 2019: Petri nets 2019 --- Special event celebrating 40 years of Petri nets

April 10, 2019: Call for Participation: 1st IEEE Int. Conference on Process Mining (ICPM) 2019

March 28, 2019: Petri nets 2019 -- Call for Participation

March 28, 2019: Reachability Problems 2019, RP2019, Submissions: May 31st 2019

March 26, 2019: CfP: 9th International Young Researchers Workshop on Concurrency Theory

March 25, 2019: CFP - ICTAC 2019: 16th International Colloquium on Theoretical Aspects of Computing

March 25, 2019: Call for Participation - International Conference on Process Mining (ICPM 2019) - Aachen (Germany), 24-26 June, 2019 - Corrected dates!

March 19, 2019: Formal Methods 2019 - Final Call For Papers

March 17, 2019: iFM 2019: Call for Workshops and Tutorials

March 14, 2019: Fully-funded four-year PhD scholarships at IMT Lucca

March 14, 2019: ICFEM 2019: 2nd Call for papers

March 13, 2019: CfP: 12th Interaction and Concurrency Experience (ICE 2019)

March 12, 2019: Formal Methods 2019 - Doctoral Symposium

March 12, 2019: SEFM 2019 - Call for Papers

March 11, 2019: PhD scholarship in Secure Data-Driven Software Architecture for Smart Systems at Western Norway University, Campus Bergen

More NewsXML RSS FeedXML RSS Feed

  Other Web pages for the curious mind: : Search recent Web pages for Petri nets : Search recent discussions on Petri nets :
www.informatik.uni-hamburg.de/TGI/PetriNets Imprint/Disclaimer