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

June 1, 2017: Petri Nets 2017 and ACSD 2017: Early registration ends on June, 5th

May 27, 2017: PhD Position on Formal Methods and Security

May 23, 2017: BPI2017 Call for Papers - EXTENDED DEADLINE

May 22, 2017: PDP 2018 - Call for Papers

May 22, 2017: 3rd Call for Tool Exhibition at Petri Nets / ACSD 2017

May 22, 2017: Petri Nets 2017 and ACSD 2017: 3rd Call for Participation (early registration ends on May, 29th)

May 21, 2017: FROM 2017 - Extended deadline

May 15, 2017: Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday

May 12, 2017: FAACS 2017 CFP - 1st Workshop on Formal Approaches for Advanced Computing Systems

May 11, 2017: MEMOCODE-2017 (Deadline Extension)

May 11, 2017: Fwd: Fully-funded PhD Studentship on Blockchain Technologies

May 11, 2017: 22 PhD student positions in Autonomous Systems and Software

May 10, 2017: PhD student position on agent-based modeling of drones in France

May 9, 2017: Petri Nets 2018: Call for Workshop Proposals - Deadline June 18

May 8, 2017: One post-doc position in Brussels on Verification and Synthesis of Real-Time logics (starting September 2017)

May 5, 2017: CAV 2017: Call for participation

May 4, 2017: Petri Nets 2017 and ACSD 2017: 2nd Call for Participation (early registration ends on May, 29th)

May 4, 2017: 2nd Call for Tool Exhibition at Petri Nets / ACSD 2017

May 4, 2017: Springer student fee grants for Petri Nets 2017 - 2nd Call

May 3, 2017: open position starting July 1st, 2017

May 3, 2017: CfP: 2nd International Workshop on Verification and Validation of Cyber-Physical Systems (iFM 2017)

May 2, 2017: SNR'17 @ ETAPS -- Call for participation

May 1, 2017: DataMod 2017: Call for Papers

April 27, 2017: YR-CONCUR 2017 - 1st Call for Abstracts

April 25, 2017: Call for Papers: Valuetools 2017

April 25, 2017: FROM 2017: 1st Call for Papers

April 22, 2017: [Last CfP] VECoS 2017 || August 24 - 25, 2017 - Montreal, Canada - Deadline Extended to 8 May 2017

April 21, 2017: RV 2017 - Deadline Extension: full submissions May 8

April 21, 2017: CfP: 11th Workshop on Reachability Problems 2017, London, UK

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 13, 2017: FEVER 2017 @ CAV - Call for Presentations

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

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