UNLIMITED FREE
ACCESS
TO THE WORLD'S BEST IDEAS

SUBMIT
Already a GlobalSpec user? Log in.

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.

Customize Your GlobalSpec Experience

Finish!
Privacy Policy

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.

CSA - CAN/CSA-ISO/IEC 15909-1A-05

Software and system engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation - AMENDMENT 1: Symmetric Nets

inactive
Organization: CSA
Publication Date: 1 January 2012
Status: inactive
Page Count: 18
ICS Code (Software): 35.080
scope:

Foreword

ISO (the International Organization for Standardization) and IEC (the International Electrotechnical Commission) form the specialized system for worldwide standardization. National bodies that are members of ISO or IEC participate in the development of International Standards through technical committees established by the respective organization to deal with particular fields of technical activity. ISO and IEC technical committees collaborate in fields of mutual interest. Other international organizations, governmental and non-governmental, in liaison with ISO and IEC, also take part in the work. In the field of information technology, ISO and IEC have established a joint technical committee, ISO/IEC JTC 1.

International Standards are drafted in accordance with the rules given in the ISO/IEC Directives, Part 2.

The main task of the joint technical committee is to prepare International Standards. Draft International Standards adopted by the joint technical committee are circulated to national bodies for voting. Publication as an International Standard requires approval by at least 75 % of the national bodies casting a vote.

Attention is drawn to the possibility that some of the elements of this document may be the subject of patent rights. ISO shall not be held responsible for identifying any or all such patent rights.

Amendment 1 to ISO/IEC 15909-1:2004was prepared by Joint Technical Committee ISO/IEC JTC 1, Information technology, Subcommittee SC 7, Software and systems engineering.

This amendment to ISO/IEC 15909-1 concerns the addition of a class of high-level nets, known as Symmetric Nets, to Annex B and the corresponding changes required to the Conformance Clause. Additional references related to Symmetric Nets are to be included in the Bibliography. Revised Annex B is included in full, due to some minor notational corrections in clause B.1.

Document History

January 1, 2020
Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notation
This document defines a Petri net modeling language or technique, called high-level Petri nets, including its syntax and semantics. It provides a reference definition that can be used both within and...
Software and system engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation - AMENDMENT 1: Symmetric Nets
Foreword ISO (the International Organization for Standardization) and IEC (the International Electrotechnical Commission) form the specialized system for worldwide standardization. National bodies...
CAN/CSA-ISO/IEC 15909-1A-05
January 1, 2012
Software and system engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation - AMENDMENT 1: Symmetric Nets
Foreword ISO (the International Organization for Standardization) and IEC (the International Electrotechnical Commission) form the specialized system for worldwide standardization. National bodies...
October 1, 2005
Software and system engineering High-level Petri nets Part 1: Concepts, definitions and graphical notation
Purpose This International Standard defines a Petri net technique, called High-level Petri Nets, including its syntax and semantics. It provides a reference definition that can be used both within...
October 1, 2005
Software and system engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation
Purpose This International Standard defines a Petri net technique, called High-level Petri Nets, including its syntax and semantics. It provides a reference definition that can be used both within...
January 1, 2005
Software and system engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation
Purpose This International Standard defines a Petri net technique, called High-level Petri Nets, including its syntax and semantics. It provides a reference definition that can be used both within...
Advertisement