|
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.
|
|  |
Recent News in the Petri Nets World
December 23, 2018:
2nd International Workshop and 1st School on Reaction Systems
December 21, 2018:
IEEE WORLD CONGRESS ON SERVICES 2019 - CALL FOR Papers
December 20, 2018:
SynCoP 2019: Call for Contributions
December 18, 2018:
MFPS XXXV - Call for Papers
December 11, 2018:
Work opportunities for Students/Graduates at Fondazione Bruno Kessler
December 11, 2018:
Post-doc position in the field of Predictive Maintenance at Fondazione Bruno Kessler
December 11, 2018:
Post-doc position in the field of Planning and Scheduling at Fondazione Bruno Kessler
December 11, 2018:
Post-doc position in the field of Formal Methods at Fondazione Bruno Kessler
December 11, 2018:
Petri nets 2019 -- Call for Papers
December 8, 2018:
Post-doc position in concurrency theory, University of Warsaw
December 6, 2018:
ICTAC 2020 - Call for Organizers
December 5, 2018:
Call for Papers: 1st IEEE Int. Conference on Process Mining (ICPM) 2019
December 4, 2018:
Model Checking Contest 2019 - call for tool participation
November 30, 2018:
Book on Conformance Checking
November 16, 2018:
Open PhD and Post-doc positions in Brussels on games and reactive systems
November 16, 2018:
University of Luxembourg - 2 open PhD positions in "Security and privacy of resource constrained devices" and "Risk analysis and regulatory compliance of DLTs for transaction and management of securities"
November 11, 2018:
MFCS 2019 CfP
November 8, 2018:
Research associate on Formal Methods for Voting Systems, University of Luxembourg
October 27, 2018:
ETAPS 2019 2nd joint call for papers
October 18, 2018:
ACSD 2019 Call for Papers
October 16, 2018:
CfP: TASE 2019
October 15, 2018:
[simu-conf] Symposium of Theory of Modeling and Simulation 2019
October 12, 2018:
ACSD 2019 -- Call for papers
October 11, 2018:
FORMATS 2019: first call for papers
October 10, 2018:
QComp 2019: call for benchmarks and tool participation
September 19, 2018:
AWPN 2018: Oct 11-12 with annual meeting of GI-SIG on PN
September 18, 2018:
Model Checking Contest 2019 - corrected call for models
September 17, 2018:
PhD positions in Programming Language Technology for Security and Privacy
September 17, 2018:
Model Checking Contest - call for model (2019)
September 16, 2018:
CfP FASE 2019 : 22nd International Conference on Fundamental Approaches to Software Engineering (Prague, April 8-11, 2019)
September 11, 2018:
ETAPS 2019 1st joint call for papers
September 26, 2018:
Call for participation: AWPN 2018, October 11-12, 2018, Augsburg University, Germany
September 12, 2018:
AWPN 2018 - Submission of extended abstracts
September 10, 2018:
AWPN 2018 - Extended Deadline - September 17
September 9, 2018:
Three postdocs and two PhD positions at RWTH Aachen University - Process Mining, Petri Nets, Concurrency, and Data Science
|
