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

August 15, 2018: CfP -- Petri nets 2019

August 15, 2018: CMSB - Call for Participation

August 14, 2018: 2nd Call for Papers: AWPN 2018, October 11-12, 2018, Augsburg University, Germany

August 7, 2018: LTSmin 3 released

July 27, 2018: PhD and post-doc positions on Formal Methods for Voting Systems, University of Luxembourg

July 26, 2018: [CFP] 7th Int. Symposium on Data-driven Process Discovery and Analysis (SIMPDA2018)

July 20, 2018: PhD Position on ICT in Trento on "Quantum Annealing for SAT Solving"

July 17, 2018: iFM, FMICS and PhD-iFM 2018: Student Bursaries and Call for Participation

July 17, 2018: CFP VALUETOOLS 2019 @ Palma de Mallorca (Spain), March 12-15

July 11, 2018: 1st Call for Papers Software Verification and Testing Track @ ACM SAC 2019

July 10, 2018: Call for Papers MiDOS @ SAC 2019

July 10, 2018: ProM 6.8 released

July 6, 2018: Second Call for Papers: FSEN 2019

July 3, 2018: RESEARCH FELLOW/SENIOR FELLOW IN PROCESS MINING (2 POSITIONS)

June 28, 2018: Call for Papers: AWPN 2018, October 11-12, 2018, Augsburg University, Germany

June 26, 2018: MCC'2018 - results are out

June 18, 2018: MCC'2018 — surprise models are out

June 14, 2018: Postdoc Position: Trustable Robotics and Autonomous Systems

June 14, 2018: Petri Nets 2019: Call for Workshop Proposals - Deadline June 25

June 6, 2018: Open Positions for Ph.D. candidates and Postdocs in Information-Flow Security and Side-Channel Analysis

June 2, 2018: FROM 2018 Call for Participation

June 1, 2018: Postdoc at Imperial on the IRIS project, on "Compositional Reasoning for High-Assurance Many-Core Software"

June 1, 2018: A PhD position at the Tempo team at Verimag: Data Mining Dynamic Behaviors using Signal Temporal Logic

May 31, 2018: PN & ACSD 2018 - 2nd Call for Participation

May 29, 2018: Call-for-Nominations: SPEC Kaivalya Dixit Distinguished Dissertation Award 2018

May 29, 2018: PhD Position in Concurrency, University of Warsaw

May 28, 2018: ICECCS 2018: 2nd call for papers

May 28, 2018: PhD and postdoc positions at the Technical University of Munich

May 28, 2018: Petri Net Course and Tutorials, Bratislava, 24-26 June 2018

May 28, 2018: 1st Workshop on Multi-objective Reasoning in Verification and Synthesis (MoRe 2018): call for participation

May 25, 2018: PhD position on Stream Mining for Real Time Compliance Checking

May 25, 2018: Call for Participation ICGT 2018

May 22, 2018: 2nd CfP: 15th Int'l Conference on Formal Aspects of Components (FACS)

May 22, 2018: First Call for Papers: FSEN 2019

May 21, 2018: LOPSTR 2018: Second Round 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