www2.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

January 23, 2021: FMICS 2021 Call for Papers

January 23, 2021: Special Issue of International Journal of Parallel, Emergent and Distributed Systems: Petri/Sleptsov Net Based Technology of Programming for Parallel, Emergent and Distributed Systems

January 20, 2021: CFP: International Workshop on Petri Nets and Software Engineering , PNSE’21, Paris, France, June, 2021

January 19, 2021: Assistant Professor in Formal Methods @ DTU Compute

January 19, 2021: Two open Ph.D. positions in Probabilistic Verification Methodologies for Synthetic Biology and Nanotechnology

January 18, 2021: [Vardi-list] Postdoc Position - Analysis Techniques for DNNs

January 18, 2021: Petri Nets 2021: deadline extension

January 18, 2021: MODEL CHECKING CONTEST 2021 - (2/2) - CALL FOR TOOLS

January 16, 2021: Call for Graduate Symposium: Diagrams 2021

January 15, 2021: CfP ATAED 2021

January 14, 2021: MODEL CHECKING CONTEST 2021 - (1/2) - CALL FOR MODELS

January 12, 2021: World-Logic-Day Lecture: Diego Calvanese

January 11, 2021: RAMiCS 2021 - CFP

January 9, 2021: 2021 Alonzo Church Award - Call for Nominations

January 8, 2021: Call for tutorials: Diagrams 2021

January 4, 2021: CFP: Diagrams 2021

December 24, 2020: QEST 2021: Call for Papers

December 15, 2020: [CfP] Petri Nets 2021 in Paris + special track on ACSD (ICATPN 2021, June 20-25, 2021), 2nd call for papers

December 10, 2020: Invitation to celebrate the World Logic Day digitally - 14 January 2021 - Ambassadors of Logic and public Vienna Logic Day Lecture

December 9, 2020: [MEDI 2021] Call for Workshops

December 1, 2020: RWTH Junior Principal Investigator Fellowships

November 9, 2020: LPOP 2020 Call for Participation

November 6, 2020: Call for Papers - SPIN 2021

November 3, 2020: [CfP] Petri Nets 2021 in Paris + special track on ACSD (ICATPN 2021, June 20-25, 2021)

October 28, 2020: Call for Papers - 2021 IEEE International Conference on Software Architecture (ICSA 2021)

October 22, 2020: Call for Papers: FORMALISE 2021

October 10, 2020: Open Ph.D. position in Probabilistic Verification Methodology for Synthetic Biology and Nanotechnology

October 6, 2020: Open positions in Software Engineering at Innopolis University

October 4, 2020: ETAPS 2021 final joint call for papers

October 1, 2020: 2-year engineer position at LORIA, Inria & CNRS, Nancy, France

September 28, 2020: Several Ph.D. positions in Algorithms, Verification and Logic for Uncertainty and Randomness

September 16, 2020: PhD Position on Machine Learning for Process Mining (ML4ProM) at RWTH Aachen University

September 8, 2020: PhD/Post-Doc positions at the University of Duisburg-Essen

September 5, 2020: CFP: Elsevier BioSystems - Petri Nets for Cellular Process Modelling -

August 28, 2020: Formal Methods 2021 -- 2nd Call for Papers

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 :
www2.informatik.uni-hamburg.de/tgi/PetriNets Imprint/Disclaimer