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

Overview
OVERVIEW

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

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

Publications
PUBLICATIONS

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

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

Academia
ACADEMIA

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.

Forums
FORUMS

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.

Community
COMMUNITY

Individuals
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

October 19, 2017: Petri Nets 2018 CfP

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

October 10, 2017: Call for papers: ASYNC 2018 conference

October 9, 2017: Call for short paper submission, Thematic school "advances in Systems & Synthetic Biology". Evry, March 19-23, 2018

October 4, 2017: Free online course: Process mining in healthcare, starts October 9 at FutureLearn

October 2, 2017: CFP Second Tutorial on the SARL Agent Programming Language

September 26, 2017: Call for Participation: AWPN 2017, October 19-20, 2017, DTU, Denmark

September 22, 2017: CFP Domain Specific Model-based Approaches to Verification and Validation (AMARETTO) 2018

September 21, 2017: [SIMPDA2017] Submission Deadline Extended: October 14, 2017

September 19, 2017: [Vardi-list] Advanced Winter School on Formal Verification

September 17, 2017: PhD studentship in Tools for Distributed FSMs at Newcastle

September 16, 2017: CFP - NTMS 2018 - Paris, France (Submission Deadline: October 30, 2017)

September 14, 2017: [fm-announcements] NASA Formal Methods Symposium 2018 - CFP

September 8, 2017: PhD Position on Requirements Validation in Trento - 19 Sept. Deadline for Application

September 4, 2017: Call for Workshops Proposals in conjonction with ANT-18

August 30, 2017: Free online course: Introduction to process mining with ProM starts September 4!

August 17, 2017: ACM/SPEC ICPE 2018: 2nd Call for Contributions

August 16, 2017: 2nd Call for Papers - AWPN 2017, October 19-20, 2017, DTU, Denmark

August 14, 2017: Announcement of an Open Position at The Faculty of Informatics at TU Vienna / Austria

August 9, 2017: TPTP v7.0.0 and CASC-26

August 9, 2017: [fm-announcements] RV 2017 - 2nd Call for Participation

August 7, 2017: Free online course: Process mining in healthcare just started!

August 4, 2017: SAC-SVT 2018: Call for Papers

August 2, 2017: PhD position: Correct Parallel Algorithms

August 1, 2017: Free online course: Process mining in healthcare, starts August 7 at FutureLearn

July 27, 2017: 1st CFP MESM'2017, 16th Annual Middle Eastern Simulation and Modelling Conference, November 20-22, 2017, Dubai, UAE

July 23, 2017: FSTTCS 2017 --- LAST Call for Papers [***extended deadline July 31***]

July 22, 2017: Release of ITS-Tools

July 20, 2017: [fm-announcements] RV 2017 - 1st Call for Participation

July 19, 2017: Open PostDoc Positions

July 19, 2017: Open PhD positions

July 18, 2017: ICMC-2018: Invitation for paper submission

July 17, 2017: Reachability Problems 2017 -- Call for Presentations

July 14, 2017: Call for Papers Microservices 2017

July 13, 2017: ADHS 2018 - Early 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 :
www.informatik.uni-hamburg.de/TGI/PetriNets Imprint/Disclaimer