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

April 20, 2017: Call for participation: Tutorial on parametric verification (Petri Nets 2017)

April 18, 2017: Call for Interest for Professor Positions at the Department of Computer Science - University of Pisa

April 15, 2017: Petri Nets 2017 and ACSD 2017: 1st call for participation (early registration ends on May, 29th)

April 13, 2017: Springer student fee grants for Petri Nets 2017

April 12, 2017: Call for Tool Exhibition at Petri Nets / ACSD 2017

April 11, 2017: Formal Methods in Computer-Aided Design - Call for Papers

April 10, 2017: Summer School on Verification Technology

April 10, 2017: Vacancy for 6 Assistant Professors at Utrecht University

April 10, 2017: Postdoc Position Available in Singapore University of Technology and Design

April 7, 2017: MFCS 2017: Second Call for Papers

April 5, 2017: CfP: 10th Interaction and Concurrency Experience (ICE 2017) - Deadline extended

April 5, 2017: NFM 2017 - 2nd Call For Participation

April 3, 2017: RERS 2017 - call for participation, deadline July 1

March 31, 2017: [iFM'17] Deadline Extension for the International Conference on integrated Formal Methods 2017

March 29, 2017: FMi 2017 Deadline Extension - The 5th IEEE International Workshop on Formal Methods Integration

March 28, 2017: SEFM 2017 Final CFP (*DEADLINE EXTENSION*) - 15th International Conference on Software Engineering and Formal Methods

March 27, 2017: Research Assistant Position at the Free Univ. of Bozen-Bolzano, Italy

March 27, 2017: ATAED 2017 - CfP

March 26, 2017: FOCLASA 2017 - First Call for Papers

March 23, 2017: [CfP - PNSE'17] International Workshop on Petri Nets and Software Engineering PNSE'17, Zaragoza, Spain, June 26-27, 2017

March 23, 2017: [fm-announcements] RV 2017 - 3rd Call for papers and tutorial proposals + RV-CuBES contributions

March 22, 2017: 4 PhD positions in health-care in Mines Saint-Étienne

March 17, 2017: [2nd CfP] VECoS 2017 || August 24 - 25, 2017 - Montreal, Canada

March 17, 2017: PhD position in Consistency Checking of Interrelated Software Models at Western Norway University of Applied Sciences (HVL), Bergen

March 14, 2017: CFP - Workshop Big Software In-Vivo Analytics SoViVa'17 @ ESEC/FSE

March 13, 2017: Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday

March 13, 2017: PhD studentship in Computing Science

March 12, 2017: [MobiSPC-Conf] MobiSPC 2017 CFPs: Extended Submission Date: March 27. The 14th International Conference on Mobile Systems and Pervasive Computing

March 11, 2017: MFPS 33: Deadline Extension

March 9, 2017: [call for participation] SynCoP + Parameterized Verification 2017 (ETAPS joint workshop, Uppsala, Sweden)

March 8, 2017: MEMOCODE-2017 (Call for Papers)

March 6, 2017: CFP DS-RT 2017, Rome, Italy

March 1, 2017: FWD: Professor / Associate Professor and Head of Department - Department of Computer Science

March 1, 2017: Call for Best Business Process Management (BPM) Dissertation Award - Nominate your best PhD student (or trigger your PhD supervisor)!

February 28, 2017: ETAPS 2017 early registration deadline approaching

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