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 22, 2019: FORMATS call for participation: Amsterdam, Aug 27-29

June 21, 2019: Call for Papers Software Verification and Testing at ACM/SIGAPP SAC2020

June 21, 2019: YR-CONCUR 2019 (Amsterdam, co-located with CONCUR 2019) - DEADLINE EXTENDED

June 20, 2019: FROM 2019 -- last CFP

June 19, 2019: CfP (deadline extension) - Formal Aspects of Component Software (FACS 2019, 23-25 October, Amsterdam)

June 18, 2019: Professor in Information Systems Management position at The University of Melbourne, Australia

June 18, 2019: The 29th International Telecommunication Networks and Application Conference (ITNAC), November 27-29, 2019, Auckland, New Zealand.

June 17, 2019: Final CfP: 9th International Young Researchers Workshop on Concurrency Theory

June 14, 2019: CONCUR 2019 call for participation

June 13, 2019: FROM 2019 - call for short papers

June 13, 2019: EMISAJ Special Issue "Towards Privacy Preservation and Data Protection in Information System Design"

June 12, 2019: FOCLASA 2019: Deadline extension, July 4th

June 12, 2019: 2ND CFP - 33rd European Simulation and Modelling Conf. - ESM'2019, October 28-30, 2019, UIB, Palma de Mallorca, Spain

June 7, 2019: CfP integrated Formal Methods (iFM) 2019 (Bergen, Norway): NEW paper category - journal first

June 3, 2019: Final Call for Participation International Conference on Process Mining (ICPM 2019) - Online registration ends on June 16th, 2019 / Almost Sold Out

June 3, 2019: ProM 6.9 has been released

June 3, 2019: Open Postdoc Position at ETH Zurich - Embedded Information Processing

May 29, 2019: call for participation Petri nets and ACSD 2019

May 29, 2019: EUSPN 2019 CfP in Coimbra, Portugal, November 4-7 2019 (Conference with ISI Special Issues)

May 28, 2019: The 6th Vampire Workshop - CFP

May 27, 2019: cfp FSTTCS 2019: Foundations of Software Technology and Theoretical Computer Science

May 27, 2019: 2 PhD positions on the ChEOPS project in Twente and Eindhoven (Netherlands): Verified Construction of Correct and Optimised Parallel Software

May 24, 2019: Call for Papers - 2nd PhD Workshop on Cyber-Physical Systems

May 23, 2019: Call for Workshop Proposals - Petri Nets 2020, Paris, France

May 21, 2019: FROM 2019 - Final Call for Papers

May 20, 2019: GandALF 2019 : Extended Deadline

May 20, 2019: LOPSTR 2019: Fist Call for Papers

May 18, 2019: 2nd Workshop on Multi-objective Reasoning in Verification and Synthesis (MoRe 2019): call for participation

May 18, 2019: [ONRST] ICPRS'19: Registrations are opened

May 17, 2019: integrated Formal Methods (iFM) 2019: 2nd Call for Papers

May 17, 2019: Post-doctoral position in Software Engineering at Western Norway University, Bergen

May 17, 2019: CFP (Extended Deadline): IEEE DS-RT 2019

May 17, 2019: School on behavioural approaches to APIs: Call for participation

May 16, 2019: [3rd Call for Papers] ASYDE 2019 @ SEFM 2019

May 16, 2019: CFP CCPE Special Issue on Future Perspectives of Decentralized Applications @ Journal on Concurrency and Computation: Practice and Experience

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