|
Contents of the Petri Nets World
|
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
· 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
· 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
· 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
· 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
· 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.
|
|  |
News in the Petri Nets World
November 17, 2008:
Call for Papers: 9th International Workshop on Runtime
Verification.
Submission deadline is March 9, 2009 (abstracts are due on March 1).
November 14, 2008:
Call for Papers: 6th Annual Future Business Technology
Conference - Simulation for Sustainability.
Submission deadline is January 20, 2009.
November 14, 2008:
Call for Papers: 16th Annual European Concurrent Engineering
Conference.
Submission deadline is January 20, 2009.
November 11, 2009:
Some photos from the PN'08 and ACSD'08 conferences held in Xi'an in June 2008
are now available here.
November 10, 2008:
Call for Papers: 11th IEEE Conference on Commerce and
Enterprise Computing.
Submission deadline is February 1, 2009.
November 9, 2008:
Call for Papers: 4th International Workshop on Workflow
Management.
Submission deadline is January 5, 2009.
November 9, 2009:
Extension of the Petri net Steering Committee: Chuang Lin (China),
Wojciech Penczek (Poland), and Antti Valmari (Finland) have joined
the Steering Committee for the International Petri Net community.
A warm welcome to all three of them!
November 7, 2008:
Call for Papers: 14th International Conference on Reliable Software
Technologies.
Submission deadline is December 1, 2008.
November 7, 2008:
Call for Papers: 14th International Workshop on Formal Methods
for Industrial Critical Systems.
Submission deadline is April 7, 2009 (abstracts due on April 1, 2009).
November 5, 2008:
Tool update: A new version of WoPeD is available.
The recent release is version 2.0.0.
WoPeD is an easy-to-use, freely available, Java-written tool
for editing, managing, simulating and analyzing workflow Petri nets
using the well-established "van der Aalst" notation.
November 3, 2008:
Tool update: A new version of DSSZMC is available.
It contains tools for the symbolic analysis of bounded Petri nets for
standard properties and CTL model checking.
November 3, 2008:
Call for Papers: International Workshop on Abstractions for Petri Nets
and Other Models of Concurrency. APNOC is a satellite event of Petri
Nets 2009, it's goal is to serve as a forum for researchers interested in
abstraction techniques and methodologies for modeling and verification of
concurrent systems.
Submission deadline is March 20, 2009 (abstracts due on March 13, 2009).
October 31, 2008:
Deadline Extension: Fifth International Conference on Networking and
Services.
Submission deadline is extended to November 10, 2008.
October 30, 2008:
Last Deadline extension: 3rd International Conference on Language and Automata Theory
and Applications. The topics cover many aspects of theoretical
computer science and its applications. Petri Nets are also explicitly mentioned.
Submission deadline is extended to October 31, 2008.
October 30, 2008:
Job Offer: An Assistant Professor position in the
Departamento de Informática of the
Faculdade de Ciências e Tecnologia of the
Universidade Nova de Lisboa, Portugal.
The applications deadline is October 31, 2008.
October 29, 2008:
Last Call for Papers: Symposium on Automatic Program Verification.
Submission deadline is November 8, 2008.
October 27, 2008:
Job Offer: A Young Research Fellow Position at
IMT, Lucca, Italy.
The applications deadline is December 1st, 2008.
October 23, 2008:
Call for Papers: 16th Workshop on Logic, Language, Information and
Computation.
Submission deadline is March 8, 2009 (abstracts due on February 28, 2009).
October 23, 2008:
Deadline extension: 3rd International Conference on Language and Automata Theory
and Applications. The topics cover many aspects of theoretical
computer science and its applications. Petri Nets are also explicitly mentioned.
Submission deadline is extended to October 29, 2008.
October 21, 2008:
Call for Papers and Announcement: The 30th International
Conference on Application and Theory of Petri Nets and Other Models of
Concurrency will be held in Paris, France,
June 22-26, 2009.
Submission deadline is January 5, 2009.
October 21, 2008:
Call for Papers: 17th International Symposium on Modeling, Analysis, and
Simulation of Computer and Telecommunication Systems.
Submission deadline is April 3, 2009 (abstracts due on March 27, 2009).
October 20, 2008:
Call for Papers: 20th IEEE/IFIP International Symposium on Rapid System Prototyping. The RSP 2009 is colocated with PN 2009!
Submission deadline is January 17, 2009 (paper registration due on January 9).
October 17, 2008:
Call for Papers: Fifth International Conference on Networking and
Services.
Submission deadline is November 1, 2008.
|
