which is the reference site for the implementation of Petri Net Markup Language (PNML) defined by the standard ISO/IEC 15909 (Part 2).
This page reflects the current activities in the effort of creating a standard for high-level Petri Nets.
The standard is being developed by the Joint Technical Committee on Information Technology (JTC1), of the International Organisation for Standardisation (ISO) and the International Electrotechnical Commission (IEC). The technical work is undertaken by a working group of a subcommittee of JTC1 concerned with processes and techniques for software and systems engineering, called SC7, Software and Systems Engineering. The working group that is developing the standard is called WG19 Open Distributed Processing and Modelling Languages. WG19 handles many projects. The Project for Petri net standardisation is 15909 Petri Net Techniques, and has Jonathan Billington as the overall editor. Project 15909 intends to produce a multi-part standard comprising 3 parts.
Part 1, ISO/IEC 15909-1 Software and Systems Engineering - High-level Petri Nets - Concepts, Definitions and Graphical Notation, defines an abstract syntax (using many sorted algebraic specification techniques) for the graphical form of high-level nets, and provides it with a Coloured Petri Net semantics. This work is currently under ballot within ISO/IEC JTC1/SC7 as a Final Committee Draft, with a due date of 14 April 2003 for ISO/IEC. The due date for the National Standards Bodies (such as AFNOR, BSI, DIN etc) will be up to a month earlier (i.e. 14 March 2003). Those interested in commenting on the standard will need to do so via their National Standards Body before the due date.
Part 2 is proposed to cover a Transfer Format for Petri nets, probably based on XML. The purpose of this part is to allow Petri net tools to exchange Petri net models and their analysis results. Current work, co-ordinated by Ekkart Kindler, is the development of a Petri net Markup Language (PNML) using XML. It is intended to publish a paper on this work for the next Petri Net Conference in Eindhoven, June 2003.
Part 3 concerns extensions to Part 1, including modularity constructs, such as hierarchies in Coloured Petri nets, and time extensions ( e.g. Time and Stochastic Petri Nets).
Table of Contents
|3Q 1995||Subdivision proposal ballot|
|Oct. 21-25, 1996||Ottawa, Canada||Draft 1.1 discussed. Agreed to update from discussion and circulate to SC7 members in first quarter 1997.|
|June 9-13, 1997||San Francisco, USA||Discuss comments on circulated WD and decided whether suitable to progress to Committee Draft (CD) for Ballot.|
|Oct/Nov 3-7, 1997||London, UK||Discuss early comments on CD, plan subdivision of 7.19.3.|
|June 1998||Johannesburg, South Africa||Decision on Progressing to FCD.|
|October 1998||Kumomoto, Japan||FCD passed the ballot|
|May 1999||Curitiba, Brazil||Resolution of comments (with SC7).|
|June 2002||Ballot: New Proposal for a Standard on Petri Net Techniques|
|December 2002||Combined WD circulation, CD Registration and FCD ballot, WD15909 - Software Engineering - High Level Petri Net. The ballot closes April 13, 2003.|
Visit the PetriNets mailing list Web page if you are interested in joining the forum.