|
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
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
September 17, 2019:
Call for Participation: Formal Aspects on Component Software (FACS 2019), Amsterdam
September 13, 2019:
Third CFP - RAMiCS 2020
September 13, 2019:
Postdoc position - Models, Tools and Realizations of Intelligent Embedded Systems
September 9, 2019:
CFP: PASM 2019
September 5, 2019:
Realizing the promises of Predictive Maintenance: an exciting PhD position at University of Twente, the Netherlands
September 5, 2019:
PhD on Trusted Decentralised Applications
September 4, 2019:
Open Postdoc Position at CiTIUS - Research Centre in Intelligent Technologies, Santiago de Compostela, Spain
September 4, 2019:
Open position Project Manager for H2020-MSCA-ITN-2019 "Interactive Natural Language Technology for Explainable Artificial Intelligence (NL4XAI)"
September 3, 2019:
2nd round Call-for-Nominations: SPEC Kaivalya Dixit Distinguished Dissertation Award 2019
September 3, 2019:
FM'19 - 2nd Call for Participation
September 2, 2019:
PADL 2020 Call for Papers
August 31, 2019:
ETAPS 2020 2nd joint call for papers
August 29, 2019:
A PhD position (Probabilistic Model Checking) in the University of South Florida
August 29, 2019:
FMTea19 CALL for PARTICIPATION: Formal Methods Teaching, on October 7, 2019, in Porto, Portugal
August 27, 2019:
TPTP v7.3.0 released
August 27, 2019:
Tutorial on Formal Methods for Biomedicine @ FM World Congress, Porto, October 8, 2019
August 27, 2019:
[Deadline Approaching, August 30] FPS'19, Foundations & Practice of Security, Springer-LNCS Proceedings, Toulouse, France
August 24, 2019:
Second call for papers Software Verfication and Testing (SVT) at SAC 2020
August 16, 2019:
CfP PhD Symposium at iFM'19 on Formal Methods: Algorithms, Tools and Applications
August 16, 2019:
PhD position in Utah State University (Probabilistic Verification Methodology for Synthetic Biology and Nanotechnology)
August 11, 2019:
CFP: EPEW 2019 - The 16th European Performance Engineering Workshop
August 7, 2019:
CfP Algorithmen und Werkzeuge für Petrinetze (AWPN 2019)
July 29, 2019:
ETAPS 2020 1st joint call for papers
July 27, 2019:
Formal Methods 2019 - Call for Participation
July 26, 2019:
RAMiCS2020 - 2nd CFP
July 26, 2019:
Assistant Professor in Software Science at Radboud University Nijmegen
July 19, 2019:
[ONRST] Post Doc offer at Nancy, France: Transparency discourses: from institutions to citizens
July 12, 2019:
Summer School on Nominal Techniques: FoPSS 2019
July 9, 2019:
SEFM 2019 - Call for Participation
July 1, 2019:
PhD openings at the IMDEA Software Institute
July 1, 2019:
Post-doc openings at the IMDEA Software Institute
June 25, 2019:
CfP: integrated Formal Methods (iFM) 2019 - deadline extended
|
