|
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
April 5, 2018:
Deadline for PNSE'18 extended: April 20 / April 22
March 28, 2018:
PhD position
March 27, 2018:
Postdoctoral position in France (1 year in Paris and 1 year in Bordeaux)
March 23, 2018:
BPM 2018 - Call for Doctoral Consortium
March 22, 2018:
Postdoctoral research position in cybersecurity at Inria Rennes, Brittany, France
March 21, 2018:
PNSE'18: Call for Papers
March 21, 2018:
Call for Papers: ARES 2018, Deadline Extension
March 21, 2018:
Request to Share Webinar With Mailing List
March 20, 2018:
Assistant professorship position for Semantics and Verification of Parallel Programs at TU Darmstadt
March 19, 2018:
Call for papers: 15th International Conference on Formal Aspects of Component Software (FACS'18)
March 19, 2018:
2nd CfP ATAED 2018
March 17, 2018:
FORMATS 2018 **Second Call for Papers***
March 12, 2018:
CfP: 11th Interaction and Concurrency Experience (ICE 2018)
March 10, 2018:
PhD-student and PostDoc positions in cyber-security for safety-critical cyber-physical systems, MDH, Sweden
March 9, 2018:
SAS 2018: Call for Papers
March 6, 2018:
VerifyThis 2018: Call for Participation and Travel Grants
March 2, 2018:
[CFP] 7th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA2018)
February 27, 2018:
ICTCS 2018 @ Urbino - call for papers
February 25, 2018:
[Deadline Approaching: Feb, 28th] CFP: Workshop on Industrial Internet of Things Security (WIIoTS)
February 22, 2018:
Last CFP: BPM 2018 (16th International Conference on Business Process Management)
February 20, 2018:
iFM 2018 Call for Papers
February 14, 2018:
Assistant professeur position open in computer science and health data science
February 6, 2018:
MOVEP 2018 - Summer School, First Announcement
January 31, 2018:
PODS4H18 - Call for Papers - Sydney (Australia) - September 10, 2018
January 30, 2018:
Model checking contest 2018 - news
January 29, 2018:
Implementing causal analysis capability (job advert)
January 26, 2018:
Research Assistant / Ph.D. Position in Process Mining at the Fraunhofer Institute for Applied Information Technology (FIT) in Aachen
January 25, 2018:
CFP: BPM 2018 (16th International Conference on Business Process Management)
January 24, 2018:
ACSD 2018 - DEADLINE EXTENDED ONCE MORE - February 15, 2018
January 19, 2018:
ACSD 2018 - EXTENDED DEADLINE - February 1, 2018
January 15, 2018:
4 Full Professors in Information and Computing Sciences (Female/Male) @UU
January 15, 2018:
6 talented Assistant Professors in Information and Computing Sciences (Tenure Track 0.8 - 1.0 FTE) (Female/Male) @UU
January 15, 2018:
Model Checking Contest 2018 - call for tool submission
January 11, 2018:
PN’2018 - EXTENDED DEADLINE - January 22, 2018
January 10, 2018:
ACSD 2018 - 2nd CfP
|
