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.

*
Selected News in the Petri Nets World

July 24, 2014: Final call for papers: JLAMP special issue on Programming Language Approaches to Concurrency and Communication-cEntric Software.

July 17, 2014: Call for Papers: NASA Formal Methods (NFM) 2015.

July 10, 2014: CFP: 30th UK Performance Engineering Workshop.

July 10, 2014: Funded PhD Positions: Dynamic Adaptive Automated Software Engineering.

July 7, 2014: Informatik 2014: Call for Participation.

July 2, 2014: 18 PhD positions in Data Science at the Data Science Center Eindhoven (DSC/e) in collaboration with Philips Research Eindhoven.

July 2, 2014: CONCUR, TCS & TGC 2014: First Call for Participation.

June 29, 2014: CFP: FORmal MOdeling and Verification of Service-based systems (FOR-MOVES).

June 20, 2014: Petri net tool LoLA 2.0 released.

June 20, 2014: BPM 2014 - Call for Participation.

June 17, 2014: AVoCS 2014: Submission Deadline Extension.

June 14, 2014: CFP: 6th International Workshop on Workflow Management in Cloud and Big Data, 3 -5 Dec., Sydney Australia.

June 7, 2014: Ph.D. Position in Information Security at the University of Luxembourg.

June 4, 2014: WS-FM:FASOCC 2014 - Deadline extension (15th June) - Web Services and Formal Methods.

June 4, 2014: MCC at Petri Net 2014 - Participants and Surprise Models.

May 29, 2014: Workshop Human-Oriented Formal Methods @SEFM 2014.

May 28, 2014: PhD research position in SCARE.

May 22, 2014: Two open research&teaching positions in Rostock.

May 12, 2014: Post-doc position at Convecs team (Inria/LIG).

May 8, 2014: Call for Participation : Joint Petri Nets 2014 and ACSD 2014 Conference, Tunis, 23-27 June 2014.

May 5, 2014: CfP - BPM 2014 Workshops.

May 3, 2014: Post-doc positions in security evaluation of software protection at UEL, London, UK

April 28, 2014: Ph.D. Position in Information Security at the University ofLuxembourg.

April 27, 2014: Reachability Problems 2014 - First Call for Papers.

April 17, 2014: 3rd CfP - BioPPN 2014.

April 16, 2014: KI 2014: Last Call for Papers.

April 14, 2014: WWV 2014: Final Call for Papers.

April 9, 2014: PNSE'14 - International Workshop on Petri Nets and Software Engineering, Deadline Extension.

April 7, 2014: Call for Workshops, Petri Nets 2015.

April 7, 2014: Call for Papers: 12th International Conference on Service Oriented Computing (ICSOC 2014).

April 2, 2014: Second Call for Papers: Workshop on Biological Processes and Petri Nets (BioPPN).

April 2, 2014: MCC'2014 (Model Checking Contest) - 2nd call for tool participation and update.

March 29, 2014: Call For Participation: FormaliSE 2014, Hyderabad, India, 3 June 2014.

March 27, 2014: FORMATS 2014 - The 12th International Conference on Formal Modeling and Analysis of Timed Systems: Call for Papers.

March 18, 2014: CL 2014, Colloquium Logicum 2014, Neubiberg (Germany), 4-6 Sep 2014.

March 17, 2014: BPM 2014 - Deadline extension until 28th March (abstracts 21stMarch).

March 12, 2014: New book: Formal Methods in Manufacturing.

March 12, 2014: Tenured full professorship in Theoretical Computer Science available at the Department of Informatics, University of Hamburg.

March 3, 2014: MCC'2014 (Model Checking Contest) - Call for Tool Participation.

March 3, 2014: Call for Papers: 1st International Workshop on Safety and Formal Methods - SaFoMe 2014

February 26, 2014: Second Call for Papers: FMICS 2014, The 19th International Workshop on Formal Methods for Industrial Critical Systems.

February 25, 2014: Call for Papers: Workshop on Biological Processes and Petri Nets (BioPPN).

February 24, 2014: Integrated Formal Methods 2014 - First Call for Papers.

February 21, 2014: Four PhD positions on Data Science in the Department of Mathematics and Computer Science at TU Eindhoven available.

February 17, 2014: 5 PhD Positions in Formal Methods, Functional Programming, and Information and Software/Web Security at the Chalmers University of Technology, Sweden.

February 14, 2014: Formal Verification of Service Based Systems FVSBS 2014 @ IEEEWETICE - Parma, Italy.

February 12, 2014: PLACES 2014 at ETAPS - Call for Participation.

February 11, 2014: BPMDS'2014 - Call for Papers (in conjunction with CAISE).

February 4, 2014: Call for Papers: 7th Workshop on Answer Set Programming and Other Computing Paradigms.

February 3, 2014: KI 2014: Call for Papers.

February 1, 2014: Faculty positions at the School of Computer Science, Reykjavik University.

January 29, 2014: 2nd CfP: BPM 2014 - International Conference on Business Process Management.

January 17, 2014: Postdoc positions in SAT/SMT-based Verification available in Trento.

January 16, 2014: Call for Papers: Seventh International Workshop on Practical Applications of Stochastic Modelling (PASM'14).

January 11, 2014: Petri Nets 2014: Submission deadline extension: January 22.

January 9, 2014: ETAPS WORKSHOPS 2014: Joint Call for Papers.

January 7, 2014: ACSD 2014 - Call for papers - ACM TECS special issue.

January 2, 2014: Call for Papers: FormaliSE 2014 (3 June 2014, Hyderabad, India).

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