|
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
May 14, 2008:
Call for Papers: First Annual North American Simulation
Technology Conference.
Submission deadline is June 5, 2008.
May 14, 2008:
Call for Participation: The 2nd Artist Workshop on Models of
Computation and Communication will be held in Eindhoven, Netherlands,
July 3-4, 2008.
May 13, 2008:
Call for Papers: First International Colloquium on Foundations of Mobile Systems Security
and Reliability.
Submission deadline is May 23, 2008.
May 13, 2008:
First Call for Papers: The European Joint Conferences on Theory and
Practice of Software.
Submission deadline is October 9, 2008 (abstracts are due on October 2).
May 13, 2008:
Call for Papers: 2008 International Conference on Computational
Intelligence for Modelling, Control and Automation.
Submission deadline is August 29, 2008.
May 10, 2008:
Call for Papers: First International Workshop on UML & Formal
Methods.
Submission deadline is July 1, 2008.
May 10, 2008:
Call for Papers: International Workshop on Quality Aspects of
Coordination.
Submission deadline is June 27, 2008 (abstracts are due on June 20).
May 10, 2008:
Last Call for Papers: International Academic Research Conference Visions of
Computer Science.
Submission deadline is May 13, 2008.
May 9, 2008:
Deadline extension: 8th International Conference on Formal Methods in Computer-Aided Design.
Submission deadline is extended to May 19, 2008.
May 9, 2008:
Call for Papers: 7th International Workshop on Rare Event Simulation.
Submission deadline is May 30, 2008.
May 8, 2008:
WoPeD 1.6.1 has been released. The new version (a bugfix release)
mainly fixes two bugs with the operator switch and trigger positioning of
transitions. A new feature concerning reachability/coverability graph
construction and visualization can be previewed and is planed for
the upcoming Version 2.0.0.
May 8, 2008:
2nd Call for Papers: 5th International Workshop on Web Services and Formal
Methods.
Submission deadline is May 26, 2008 (abstracts are due on May 19).
May 5, 2008:
Job offer: The Center of Informatics and Information Technology (CITI)
at the Department of Informatics of FCT/Universidade Nova de Lisboa welcomes
applications for one (1) post-doctoral scholarship position in
the areas of programming languages and logic in computer science.
Deadline for applications is June 15, 2008.
May 4, 2008:
Call for Posters: International Workshop on Petri Nets and Distributed Systems
a satellite event of Petri Nets 2008 and ACSD 2008.
Submission deadline for posters is May 9, 2008.
May 4, 2008:
Call for Participation: The 35th International Colloquium on
Automata, Languages and Programming will be held in Reykjavik, Iceland,
July 6-13, 2008. Many aspects of Theoretical Computer Science are covered.
May 3, 2008:
Call for Participation: Computability in Europe 2008: Logic and Theory
of Algorithms will be held at the University of Athens, Greek, June 15-20,
2008.
May 1, 2008:
Call for Participation: The 7th International Workshop on Software
and Performance will be held in Princeton, NJ, USA, June 23-26 2008.
April 28, 2008:
Final Call for Papers: 8th International Conference on Formal Methods in Computer-Aided Design.
Submission deadline is May 12, 2008.
April 28, 2008:
Call for Participation: The 6th Annual Industrial Simulation Conference will
be held in Lyon, France, June 9-11, 2008.
April 28, 2008:
Call for Participation: The 15th Workshop on Logic, Language, Information and
Computation will be held at Heriot-Watt University, Edinburgh, Scotland,
July 1-4, 2008.
April 25, 2008:
Deadline Extension: 24th UK Performance Engineering Workshop.
Submission deadline is extended to May 14, 2008.
April 24, 2008:
Final Call for Tool Papers: 5th International Conference on Quantitative
Evaluation of SysTems.
Submission deadline for Tool Papers is April 28, 2008.
April 24, 2008:
Call for Papers and Participation: Ninth Workshop and Tutorial on
Practical Use of Coloured Petri Nets and CPN Tools.
Submission deadline is August 15, 2008.
|
