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

November 17, 2019: PhD positions for Industry 4.0 Laboratory Initiative at University of Southern Denmark

November 15, 2019: 1st CFP 18th Annual Industrial Simulation Conference, ISC'2020, June 8-10, 2020, UCD, Dublin, Ireland

November 15, 2019: Barry Cooper Prize - Call for Nominations

November 7, 2019: Question: Categorization or taxonomie of petri nets

November 7, 2019: CFP: Petri Nets for Cellular Process Modelling -BioSystems (Elsevier)

November 5, 2019: DIAGRAMS 2020: Call for Workshop and Tutorial Proposals

November 4, 2019: [EDI40-2020] deadline extension & extra Journal Special Issues: Conference on Emerging Data and Industry 4.0. Warsaw, Poland (April 6-9, 2020)

November 3, 2019: PhD and PostDoc Positions - Safe and Secure Adaptive Collaborative Systems

October 31, 2019: PostDoc Position in Quantitative Modeling at Aalborg University

October 30, 2019: CFP: Petri Nets 2020

October 29, 2019: Call for Papers AMDE 2020

October 27, 2019: CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2020

October 25, 2019: Drexel University College of Computing & Informatics Tenure-Track Positions in Computer Science and Information Science

October 24, 2019: [ONRST] Call for Papers and Proposals: IEEE COINS 2020 | Barcelona, Spain

October 11, 2019: MARS 2020 - CALL FOR PAPERS - Dublin (Ireland) - April 26, 2020

October 7, 2019: Computability in Europe 2020 FIRST CALL FOR PAPERS:

October 6, 2019: PhD position in Theoretical Computer Science at the VU Amsterdam

October 3, 2019: EBCCSP 2020 - 6th Conf. on Event-Based Control, Communication & Signal Processing, Grenoble, France

October 2, 2019: CfParticipation: integrated Formal Methods (iFM) 2019 - Bergen, Norway (Dec 2-6)

September 29, 2019: FMFun 2019 - Call for Papers

September 17, 2019: Call for Participation: Formal Aspects on Component Software (FACS 2019), Amsterdam

September 13, 2019: Third CFP - RAMiCS 2020

September 13, 2019: Postdoc position - Models, Tools and Realizations of Intelligent Embedded Systems

September 9, 2019: CFP: PASM 2019

September 5, 2019: Realizing the promises of Predictive Maintenance: an exciting PhD position at University of Twente, the Netherlands

September 5, 2019: PhD on Trusted Decentralised Applications

September 4, 2019: Open Postdoc Position at CiTIUS - Research Centre in Intelligent Technologies, Santiago de Compostela, Spain

September 4, 2019: Open position Project Manager for H2020-MSCA-ITN-2019 "Interactive Natural Language Technology for Explainable Artificial Intelligence (NL4XAI)"

September 3, 2019: 2nd round Call-for-Nominations: SPEC Kaivalya Dixit Distinguished Dissertation Award 2019

September 3, 2019: FM'19 - 2nd Call for Participation

September 2, 2019: PADL 2020 Call for Papers

August 31, 2019: ETAPS 2020 2nd joint call for papers

August 29, 2019: A PhD position (Probabilistic Model Checking) in the University of South Florida

August 29, 2019: FMTea19 CALL for PARTICIPATION: Formal Methods Teaching, on October 7, 2019, in Porto, Portugal

August 27, 2019: TPTP v7.3.0 released

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