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

March 12, 2019: Formal Methods 2019 - Doctoral Symposium

March 12, 2019: SEFM 2019 - Call for Papers

March 11, 2019: PhD scholarship in Secure Data-Driven Software Architecture for Smart Systems at Western Norway University, Campus Bergen

March 4, 2019: FROM 2019 - 1st Call for Papers

March 3, 2019: Ackermann Award 2019: Final Call for Nominations

March 1, 2019: Call for Contributions

February 25, 2019: Postdoc: Process modelling of archaeological technology (Delft/Leiden, NL)

February 25, 2019: 2 Postdocs in Formal Methods and Cyber Security

February 25, 2019: VerifyThis @ ETAPS 2019: Travel Grants + Call for Participation

February 23, 2019: Model Checking Contest @ TOOLympics (April 7, 2019)

February 23, 2019: [ONRST] Post-Doc in Performance and Safety Analysis of Train-to-Train communications / IRT Railenium

February 23, 2019: [ONRST] 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019).

February 23, 2019: CfP ATAED 2019

February 19, 2019: ETAPS 2019 call for participation

February 18, 2019: Deadline extension - FVSBS Track @ WETICE 2019 (Formal Verification of Service-Based Systems)

February 15, 2019: 1ST CFP - 33rd European Simulation and Modelling Conf. - ESM'2019, October 28-30, 2019, UIB, Palma de Mallorca, Spain

February 7, 2019: CFP: 19th International Conference on Runtime Verification

February 5, 2019: 1st Call for Demos; Tool Demonstration Session of the 40th International Conference on Application and Theory of Petri Nets and Concurrency

January 31, 2019: The 2nd announcement of the 2nd Workshop and the 1st School on Reaction Systems

January 31, 2019: Call for bids to organize forthcoming instances of the International Conference on Process Mining (ICPM)

January 28, 2019: PhD scholarship in Secure Data-Driven Software Architecture for Smart Systems at Western Norway University, Campus Bergen

January 25, 2019: PN&ACSD 2019 Deadline extension

January 23, 2019: CFP_16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019).

January 21, 2019: CFP - ICTAC 2019: 16th International Colloquium on Theoretical Aspects of Computing

January 21, 2019: Petri nets and ACSD deadline extension

January 17, 2019: VerifyThis at ETAPS 2019: 2nd Call for Problems

January 11, 2019: Assistant professor and postdoc positions in Computer Science at University of Warsaw

January 11, 2019: [CFP] FMIS 2019: 8th Formal Methods for Interactive Systems workshop

January 10, 2019: CONCUR 2019: Call for Workshop Proposals

January 10, 2019: FM'19: Second Call for Papers

January 9, 2019: call for papers: CREST 2019

January 8, 2019: CfP: SafeComp 2019 (Int. Conference on Computer Safety, Reliability and Security)

January 7, 2019: [DisCoTec 2019] 3rd Joint Call for Papers

January 6, 2019: Ackermann Award 2019: Call for Nominations

December 23, 2018: 2nd International Workshop and 1st School on Reaction Systems

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