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.

Selected News in the Petri Nets World

August 25, 2015: 2nd CfP: Formal Techniques for Safety-Critical Systems.

August 24, 2015: TABLEAUX/FroCoS 2015 - Call for Participation.

August 21, 2015: ProM 6.5.1 released.

August 17, 2015: ETAPS 2016 call for papers

August 5, 2015: GandALF 2015: Call for Participation.

August 2, 2015: Special Session on “Formal Modeling for Machine Learning Techniques” in ICMLA 2015 Miami USA.

July 30, 2015: Software Verification and Testing Track, ACM SAC 2016 (Pisa, Italy) - Second CFP.

July 23, 2015: Post-Doc Position at the Hybrid Systems Group at VERIMAG, Grenoble, France.

July 21, 2015: REACHABILITY PROBLEMS 2015 - call for participation.

July 17, 2015: 12 + 4 PhD positions 2015 - Computer Science - Pisa.

July 13, 2015: RV 2015: Call for Participation.

July 11, 2015: Postdoc: Software Analytics and Process Mining (@TU/e).

July 9, 2015: Call for Papers PAS-2015 (Program Verification, Automated Debugging and Symbolic Computation).

July 7, 2015: Postdoc Position at SUTD on Attestation (Singapore).

July 3, 2015: ProM 6.5 released.

June 30, 2015: Special session on Formal Modeling.

June 25, 2015: WS-FM/BEAT 2015 last Call for Papers.

June 19, 2015: Call for Papers: Models for Formal Analysis of Real Systems(MARS'15).

June 15, 2015: Autumn School: Processes and Data.

June 13, 2015: Reachability Problems - Call for Papers, deadline extended.

June 10, 2015: Software Verification and Testing Track, ACM SAC 2016 (Pisa,Italy) - First Call for Papers.

June 8, 2015: Call for papers - SR 2015: Strategic Reasoning (Oxford, UK)

June 5, 2015: DIFTS 2015: Call for Papers - International Workshop on Design and Implementation of Formal Tools and Systems.

June 3, 2015: Research grant at the Department of Computer Science and Engineering of the University of Bologna: application deadline July 20th.

May 28, 2015: iFM 2016: First Call for Workshop Proposals.

May 26, 2015: MCC'2015 - list of qualified tools.

May 23, 2015: Reachability Problems 2015 (RP2015) Call for Papers.

May 21, 2015: Petri Net Course and Tutorials, Brussels 21-23 June 2015.

May 21, 2015: Call for Workshop Proposals, PN 2016.

May 18, 2015: BioPPN 2015 - Call for Work in Progress Reports.

May 13, 2015: Open PhD Position at the University of Nantes.

May 7, 2015: Associate Professor (Software Engineering) position available at Monash University, Australia.

May 6, 2015: Final Call for Papers: PNSE'15 Petri Nets and SoftwareEngineering.

May 4, 2015: International Conference on Formal Methods in Computer-Aided Design (FMCAD) Extended Deadline May 8th.

May 1, 2015: PhD positions in model-driven software engineering and verification at Bergen University College, Norway.

May 1, 2015: Call for Papers: The 8th Workshop on Social and Human Aspects of Business Process Management (BPMS2'15).

April 29, 2015: Invitation to organise future Petri Net conferences.

April 28, 2015: Call for Papers: The 9th International Workshop on Reachability Problems (RP2015).

April 23, 2015: Research positions available at the University of Oldenburg.

April 22, 2015: 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Call for Papers.

April 20, 2015: Two permanent lecturer posts at Imperial College London.

April 17, 2015: Several PostDoc positions in Process Mining/Data Science in Eindhoven.

April 15, 2015: First Call for Papers: 12th International Conference on Formal Aspects of Component Software.

April 13, 2015: Model Checking Contest @ Petri Nets 2015 in Bruxelles (MCC'2015) - 17 days left for submitting your tool.

April 8, 2015: 6th Int. Workshop on Biological Processes and Petri Nets (BioPPN 2015). 3rd Call for Papers.

April 5, 2015: The Second International Workshop on Petri Nets for Adaptive Discrete Event Control Systems. 1st Call for Papers.

March 26, 2015: 7th International Conference on Machines, Computations and Universality (MCU’15) Call for Papers.

March 23, 2015: 2nd Call for Papers: 13th International Conference on Formal Modeling and Analysis of Timed Systems.

March 16, 2015: Second Call for Papers: Algorithms & Theories for the Analysis of Event Data (ATAED'2015) - Brussels, Belgium, June 2015.

March 11, 2015: BPM 2015 - Deadline extension for abstract and full paper submissions.

March 9, 2015: PhD positions in model-driven software engineering and verification at Bergen University College, Norway.

March 4, 2015: 9th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2015) 1st Call for Papers.

March 1, 2015: Postdoc in Computational Modelling.

February 25, 2015: Vacancy: Full Professor in Data Mining at the Data Science Center Eindhoven (DSC/e) at TU/e.

February 22, 2015: Call for Papers: Reachability Problems 2015.

February 19, 2015: Postdoctoral position availbale at CRI - Paris 1/ Braincities: Intelligent user profiling for recommendations in a collaborative Human Resource Management System.

February 16, 2015: Model Checking Contest 2015 (MCC'2015) - Call for Tools.

February 13, 2015: Call for Participation: 18th European Joint Conferences on Theory And Practice of Software, ETAPS 2015.

February 13, 2015: Call for Papers: The 9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015).

February 6, 2015: Call for Papers: 4th International Workshop on Engineering Safety and Security Systems 2015.

February 5, 2015: Call for Participation: 15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Multicore Programming.

February 3, 2015: Call for Papers: Languages, Compilers, Tools and Theory for Embedded Systems 2015.

February 3, 2015: Ph.D. Position available in Model-Based Testing, Halmstad University, Sweden.

January 26, 2015: Special Session at CASE'2015.

January 21, 2015: Postdoctoral position in machine learning for systems biology available - Paris region.

January 21, 2015: TASE 2015: Call for Paper, Nanjing 12 - 14 September.

January 13, 2015: Two postdoctoral positions available in Paris in computer and cognitive science.

January 9, 2015: Open PhD position starting in the summer semester 2015.

January 6, 2015: ACSD 2015 - Final Call for Papers.

January 2, 2015: Call for Papers: 7th International Conference on Machines, Computations and Universality - MCU '15.

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