Petri nets: an introduction
Petri nets and algebraic specifications
Theoretical Computer Science
Free choice Petri nets
Discrete Mathematics for Computer Scientists (International Computer Science Series)
Discrete Mathematics for Computer Scientists (International Computer Science Series)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Extensions to Coloured Petri Nets
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Hi-index | 0.00 |
Work has commenced on the development of an international standard for high-level Petri nets within ISO/IEC JTC1/SC7/WG11 Software Engineering Data Description and Representation. A ballot subdividing Project 7.19, Diagrams for Software Engineering, was held in the last half of 1995, and resulted in the subdivision being approved. The first Working Draft (WD) was circulated to members of Working Group 11 for discussion at the Ottawa interim meeting in October 1996. The result of this meeting was that a revised WD is currently being circulated to SC7 for comment. We hope to circulate the revised draft as a Committee Draft in the middle of 1997, and to progress the document to a Draft International Standard by 1998. This paper provides the background, scope, justification and current status of this project.