|
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
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
June 24, 2019:
PostDoctoral Position at Kiel University
June 22, 2019:
FORMATS call for participation: Amsterdam, Aug 27-29
June 21, 2019:
Call for Papers Software Verification and Testing at ACM/SIGAPP SAC2020
June 21, 2019:
YR-CONCUR 2019 (Amsterdam, co-located with CONCUR 2019) - DEADLINE EXTENDED
June 20, 2019:
FROM 2019 -- last CFP
June 19, 2019:
CfP (deadline extension) - Formal Aspects of Component Software (FACS 2019, 23-25 October, Amsterdam)
June 18, 2019:
Professor in Information Systems Management position at The University of Melbourne, Australia
June 18, 2019:
The 29th International Telecommunication Networks and Application Conference (ITNAC), November 27-29, 2019, Auckland, New Zealand.
June 17, 2019:
Final CfP: 9th International Young Researchers Workshop on Concurrency Theory
June 14, 2019:
CONCUR 2019 call for participation
June 13, 2019:
FROM 2019 - call for short papers
June 13, 2019:
EMISAJ Special Issue "Towards Privacy Preservation and Data Protection in Information System Design"
June 12, 2019:
FOCLASA 2019: Deadline extension, July 4th
June 12, 2019:
2ND CFP - 33rd European Simulation and Modelling Conf. - ESM'2019, October 28-30, 2019, UIB, Palma de Mallorca, Spain
June 7, 2019:
CfP integrated Formal Methods (iFM) 2019 (Bergen, Norway): NEW paper category - journal first
June 3, 2019:
Final Call for Participation International Conference on Process Mining (ICPM 2019) - Online registration ends on June 16th, 2019 / Almost Sold Out
June 3, 2019:
ProM 6.9 has been released
June 3, 2019:
Open Postdoc Position at ETH Zurich - Embedded Information Processing
May 29, 2019:
call for participation Petri nets and ACSD 2019
May 29, 2019:
EUSPN 2019 CfP in Coimbra, Portugal, November 4-7 2019 (Conference with ISI Special Issues)
|
