|
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 6, 2019:
2nd CfP DIAGRAMS 2020
December 5, 2019:
Several Funded Doctoral Positions in Computer Science in Austria (Vienna, Graz or Linz) - Deadline: January 11, 2020
December 4, 2019:
ESOCC 2020 - 2nd CFP - deadlines extended
December 4, 2019:
IFIP SEC 2020, Maribor, Slovenia - Call for Paper - DEADLINE EXTENDED - 5 January 2020!
December 4, 2019:
IFIP SEC 2020, Maribor, Slovenia - Call for Paper - DEADLINE EXTENDED - 5 January 2020!
December 3, 2019:
QEST 2020: First Call for Papers
December 3, 2019:
PhD position in modelling and ICT for fire risk prediction at Western Norway University of Applied Sciences
December 2, 2019:
Call for Submissions: Graduate Symposium Diagrams 2020
December 2, 2019:
[CfP] SAT2020 - The 23rd International Conference on , , Theory and Applications of Satisfiability Testing
December 1, 2019:
CFP: Petri Nets 202
November 23, 2019:
International Workshop on Petri Nets and Software Engineering, PNSE’20 [Call for Papers]
November 21, 2019:
[DisCoTec 2020] Joint Call for Papers
November 19, 2019:
CFP - ESOCC 2020 - 8th European Conference and Service-Oriented and Cloud Computing
November 19, 2019:
WETICE 2020 - Call for Tracks
November 18, 2019:
CFP: Petri Nets 202
November 17, 2019:
PhD positions for Industry 4.0 Laboratory Initiative at University of Southern Denmark
November 15, 2019:
1st CFP 18th Annual Industrial Simulation Conference, ISC'2020, June 8-10, 2020, UCD, Dublin, Ireland
November 15, 2019:
Barry Cooper Prize - Call for Nominations
November 7, 2019:
Question: Categorization or taxonomie of petri nets
November 7, 2019:
CFP: Petri Nets for Cellular Process Modelling -BioSystems (Elsevier)
November 5, 2019:
DIAGRAMS 2020: Call for Workshop and Tutorial Proposals
November 4, 2019:
[EDI40-2020] deadline extension & extra Journal Special Issues: Conference on Emerging Data and Industry 4.0. Warsaw, Poland (April 6-9, 2020)
November 3, 2019:
PhD and PostDoc Positions - Safe and Secure Adaptive Collaborative Systems
October 31, 2019:
PostDoc Position in Quantitative Modeling at Aalborg University
October 30, 2019:
CFP: Petri Nets 2020
October 29, 2019:
Call for Papers AMDE 2020
October 27, 2019:
CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2020
October 25, 2019:
Drexel University College of Computing & Informatics Tenure-Track Positions in Computer Science and Information Science
October 24, 2019:
[ONRST] Call for Papers and Proposals: IEEE COINS 2020 | Barcelona, Spain
October 11, 2019:
MARS 2020 - CALL FOR PAPERS - Dublin (Ireland) - April 26, 2020
October 7, 2019:
Computability in Europe 2020 FIRST CALL FOR PAPERS:
October 6, 2019:
PhD position in Theoretical Computer Science at the VU Amsterdam
October 3, 2019:
EBCCSP 2020 - 6th Conf. on Event-Based Control, Communication & Signal Processing, Grenoble, France
October 2, 2019:
CfParticipation: integrated Formal Methods (iFM) 2019 - Bergen, Norway (Dec 2-6)
September 29, 2019:
FMFun 2019 - Call for Papers
|
