A formal, graphical, executable technique for the specification and analysis of concurrent, discrete-event dynamic systems; a technique undergoing standardisation. More on Petri nets...
| 2011-02-14 | Standard published: ISO/IEC 15909-2:2011 Systems and software engineering - High-level Petri nets - Part 2: Transfer format. Available from ISO [ Editor's Announcement] |
|---|---|
| 2005-06-23 | New Working Draft of ISO/IEC 15909-2 Systems and software engineering - High-level Petri nets - Part 2: Transfer format submitted for a combined ISO/IEC SC7 WD/CD registration and CD ballot. Comments welcomed - formal or otherwise. [ Editor's Announcement | ISO/IEC 15909-2 WD (Version 0.9.0) ] |
| 2004-12-02 | Standard published: ISO/IEC 15909-1:2004 Systems and software engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation. Available from ISO. |
| 2003-02-27 | International Standard Ballot of ISO/IEC 15909-1. [Ballot ZIP.] |
| 2002-11-22 | Combined WD/CD Registration/FCD ballot for ISO/IEC15909-1. [FCD PDF, Disposition RTF.] |
| 2002-10-21 | Great news: Green Light for High-level Petri Net Standard. [Letter Ballot Summary PDF.] |
| 2002-09-11 | Notification of ballot for reinstatement of Standard. |
| 2002-05-12 | Standard unintentionally cancelled during Draft International Standard (DIS) phase! |
| 2000-10-28 | Final Committee Draft Version 4.7.1 published. [ Editor's Announcement | FCD ] |
| 1998-01-28 | Letter Ballot Summary of the Standard. |
| 1997-10-02 | Draft standard Version 3.4 published. |
| 1997-08-14 | Reply to Comments on Draft Petri net Standard V2.1. |
| 1997-01-17 | JTC1 News: Standard will not be Cancelled. |
| 1996-12-13 | Resolution 8.4, 10th Plenary Meeting of ISO/IEC JTC 1. |
| 1996-11-29 | Australian Response to Cancellation Proposal. |
| 1995-08-14 | Petri net Subdivision Proposal. |