|
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
February 9, 2010:
Call for Papers: Second International Workshop on Abstractions for Petri Nets
and Other Models of Concurrency. APNOC is a satellite event of Petri
Nets 2010, 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).
February 8, 2010:
Call for Papers: 6th International Workshop on Enterprise & Organizational
Modeling and Simulation.
Submission deadline is to March 15, 2010.
February 7, 2010:
Final Call for Papers: 17th International Conference on Analytical and
Stochastic Modelling Techniques and Applications.
Submission deadline is extended to February 19, 2010.
February 5, 2010:
Call for Papers: 9th International Workshop on Parallel and Distributed Methods in
Verification.
Submission deadline is June 21, 2010 (abstracts are due on June 14).
February 5, 2010:
Call for Papers: 7th European Performance Engineering Workshop.
Submission deadline is May 31, 2010 (abstracts are due on May 27).
February 4, 2010:
Call for Participation: 4th International Conference on Language and
Automata Theory and Applications.
Early registration deadline is February 15, 2010.
February 4, 2010:
Job Offer: There are vacancies for one PhD position at the Radboud University in
Nijmegenand and one post-doc position at the Free University in Amsterdam in
the DASDIP projects (Design and Analysis of Secure Distributed Protocols).
February 2, 2010:
Call for Papers: 3rd International Workshop on Logics, Agents, and Mobility.
Concurrency theory is among the topics of interest, especially with a focus
on mobility or dynamics in agent systems.
Submission deadline is April 9, 2010.
February 1, 2010:
Call for Papers: 2nd Central-European Workshop on Services and their Composition.
Submission deadline is extended to February 5, 2010 for papers and tool demonstrations.
February 1, 2010:
Call for Papers: 5th International Conference on Graph Transformation.
Graph transformation and Petri nets is among the topics of interest.
Submission deadline is April 16, 2010 (abstracts due on April 9).
January 29, 2010:
Call for Papers: 8th Annual International Industrial Simulation Conference.
Late submission deadline is March 30, 2010 (early submission deadline is February 20, 2010,
but I have no idea what this means).
January 29, 2010:
Call for Papers: 1st International Symposium on Games, Automata, Logics, and Formal Verificatio.
In the CfP topics like formal methods for complex systems, program analysis, and specification and
verification of finite and infinite-state systems are mentioned.
Submission deadline is March 28, 2010 (abstracts due on March 21).
January 29, 2010:
Call for Papers: 4th Workshop on Reachability Problems.
Contributions related to reachability problems in different computational models and systems
are being sought. Among these models are (of course) also Petri-Nets (they are explicitly
mentioned in the CfP).
Submission deadline is April 21, 2010.
January 28, 2010:
Call for Participation: The European Joint Conferences on Theory and Practice of Software
will take place from March 20 to March 28 in Paphos, Cyprus.
It consists of five confercnes, 19 workshops and four tutorials.
Early registration deadline is February 15, 2010, and the normal registration
deadline is February 28, 2010.
January 27, 2010:
Call for Papers: Workshop on Biological Processes and Petri Nets - a
workshop at Petri Nets 2010.
The workshop focus lies on Petri nets to study biological applications.
Submission deadline is March 20, 2010.
January 27, 2010:
Deadline Extension: 7th IFIP Conference on Distributed and Parallel
Embedded Systems.
Submission deadline is extended to February 15, 2010.
January 24, 2010:
Call for Papers: 10th International Conference on Formal Methods in Computer-Aided Design.
The conference is all about formal reasoning about computing systems.
Submission deadline is May 5, 2010.
January 21, 2010:
Call for Papers: 10th International Conference on Runtime Verification.
Another big verification conference! In the past RV was an annual workshop. This
year it is an international conference for the first time! Contributions about
monitoring and analysis of software or hardware system executions are welcome.
For more details see the CfP linked above.
Submission deadline is June 1, 2010 for regular and short papers, and June 15, 2010
for tool demonstration proposals. Tutorial proposals have to been sent in until
May 1, 2010.
January 21, 2010:
Call for Papers: 17th International SPIN Workshop on Model Checking of Software.
SPIN is one of the most widely used model checking tools today. The SPIN workshop
is a forum for practitioners and researchers interested in state space-based techniques
for the validation and analysis of software systems. (I doubt that you have to have
the word 'SPIN' in your paper. Any contribution in the field of model checking is welcome.)
Submission deadline is April 16, 2010 (abstracts due on April 9).
|
