|
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.
|
|  |
News in the Petri Nets World
March 01, 2012:
Symposium "Pioneers of Computer Science: From Turing to Harel": David Harel, one of the leading computer scientists in the world, will receive an honorary doctorate from Eindhoven University of Technology (TU/e) on April 27th 2012 during the Dies Natalis of TU/e.
March 01, 2012:
A Professor/Associate professorship in Formal Methods is open at the CHALMERS University of Technology, Gothenburg, Sweden, Department of Computer Science and Engineering
March 01, 2012:
The new version 2.3 of the Java-based Petri net tool Renew is avaliable.
February 20, 2012:
First announcement and call for submissions: THE TURING CENTENARY CONFERENCE in Manchester, UK
February 09, 2012:
Call for Papers: International Conference on Business Process Modeling, Development, and Support (BPMDS'2012)
January 27, 2012:
Call for Papers for the 2nd workshop on Petri Nets Compositions (Componet)
January 18, 2012:
Job offer: The Architecture of Information Systems (AIS) group of the Department
of Mathematics and Computer Science of the Technische Universiteit
Eindhoven (TU/e) is looking for a PhD working on Process Mining.
January 05, 2012:
Call for Papers: CSD&M 2012
January 05, 2012:
4th Call for Papers: Petri Nets 2012
December 23, 2011:
2nd Call for Papers: ACSD 2012
December 23, 2011:
3rd Call for Papers: Petri Nets 2012
December 19, 2011:
Call for Papers: FMICS 2012
December 13, 2011:
Call for Papers: DLT 2012
December 05, 2011:
Call for Papers: INCOM 2012 Special Session "Petri net and their applications in industry"
December 04, 2011:
Call for Papers: BioPPN 2012, 3rd International Workshop on Biological Processes and Petri Nets Hamburg, Germany, June 25, 2012
November 27, 2011:
Call for Papers: 10th International Conference on Business Process Management (BPM 2012)
November 14, 2011:
Research Assistant/Associate position in Verification and
Language Support for GPU Programming at Imperial College London
October 26, 2011:
CfP: Modelling Foundations and Applications, July 2012
October 24, 2011:
1st CfP LAM'12 (Logics, Agents, and Mobility)
October 12, 2011:
Application of Concurrency to System Design (ACSD 2012) CfP
October 07, 2011:
IEEE Task Force on Process Mining releases Process Mining Manifesto
September 30, 2011:
Assistant Professor position in Modelling and Analysis of Concurrent Systems at IMT Lucca
September 23, 2011:
Concur 2012: Call for affiliated workshops
September 15, 2011:
12 PhD positions on CSE at IMT Lucca (Italy). The deadline for Application is Sept. 28.
September 12, 2011:
Position in Softw. Engin. & IT Security, Fraunhofer ISST.
September 12, 2011:
PhD research fellow position in software modelling and verification for sensor networks in Bergen
September 09, 2011:
Call for papers: European Joint Conferences on Theory And Practice of Software
September 09, 2011:
Call for workshop proposals for the 9th International Conference on Integrated Formal Methods and the 3rd International Conference on Abstract State Machines (ASM)
September 08, 2011:
Post Doct Position on Distributed Simulation, Interoperablity, Ontology at University of Bordeaux
September 04, 2011:
2011 International Fall School in Formal Languages and Applications (FSFLA 2011) in Tarragona, Spain, October 31st - November 4, 2011.
|
