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

January 30, 2018: Model checking contest 2018 - news

January 29, 2018: Implementing causal analysis capability (job advert)

January 24, 2018: ACSD 2018 - DEADLINE EXTENDED ONCE MORE - February 15, 2018

January 19, 2018: ACSD 2018 - EXTENDED DEADLINE - February 1, 2018

January 15, 2018: 4 Full Professors in Information and Computing Sciences (Female/Male) @UU

January 15, 2018: 6 talented Assistant Professors in Information and Computing Sciences (Tenure Track 0.8 - 1.0 FTE) (Female/Male) @UU

January 15, 2018: Model Checking Contest 2018 - call for tool submission

January 11, 2018: PN’2018 - EXTENDED DEADLINE - January 22, 2018

January 10, 2018: ACSD 2018 - 2nd CfP

January 9, 2018: Petri Nets '18 - 3rd CfP

January 9, 2018: CfP ATAED 2018

December 22, 2017: 2nd CfP: Models for Formal Analysis of Real Systems (MARS 2018)

December 22, 2017: CAV 2018 - 2nd Call for Papers

December 21, 2017: 1st CFP 16th Annual Industrial Simulation Conference, ISC'2018, June 6-8, 2018, Univ. of the Azores, Ponta Delgada, Portugal

December 19, 2017: CFP: BPM 2018 (16th International Conference on Business Process Management)

December 19, 2017: [CFP] SynCoP 2018: 5th International Workshop on Synthesis of Complex Parameters

December 11, 2017: iFM 2018 Call For Paper

December 6, 2017: 14th Workshop on Discrete Event Systems (WODES'18) - Sorrento Coast, Italy: Last deadline extension

December 5, 2017: ACSD 2018 CfP

December 5, 2017: MODEL CHECKING CONTEST 2018 - (1/2) - CALL FOR MODELS

December 5, 2017: CfP VECoS 2018 || September 26-28, 2018 - Grenoble, France

December 5, 2017: ADHS 2018 - Call for Papers - Submission deadlines extended

December 4, 2017: ICGT 2018 1st Call for Papers

December 4, 2017: HiPMoS 2018 - Final call for papers

November 30, 2017: CFP TAP 2018

November 30, 2017: [CfP] The 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018) - September 26-28, 2018 - Grenoble, France

November 29, 2017: 2nd CfP: FM 2018

November 27, 2017: Fully-funded PhD on blockchain applications

November 27, 2017: PhD position: Predictive Process Mining in Logistics at TU Eindhoven, NL

November 27, 2017: Multiple Ph.D. positions in the Software Factory 4.0 project at TU Darmstadt

November 23, 2017: Petri Nets '18 - 2nd CfP

November 14, 2017: Postdoctoral position in Hybrid Systems at the Australian National University

November 9, 2017: Extended Deadline for PeMod'18

November 8, 2017: Fw: CIE Newsletter

November 5, 2017: Opportunity to Engage in Academic Research at Formal Methods Lab, CSE Dept, IIT Kharagpur, India

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