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

Select Your Free Newsletters

Industry Newsletters

Select Your Free Product Alerts

Finish!
Privacy Policy

This is embarrasing...

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

ISO/IEC 15909-1

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

inactive
Buy Now
Organization: ISO
Publication Date: 1 December 2004
Status: inactive
Page Count: 48
ICS Code (Software): 35.080

Document History

ISO/IEC 15909-1
August 1, 2019
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...
ISO/IEC 15909-1
May 15, 2010
Software and system engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation AMENDMENT 1: Symmetric Nets
A description is not available for this item.
ISO/IEC 15909-1
December 1, 2004
Software and system engineering High-level Petri nets Part 1: Concepts, definitions and graphical notation
A description is not available for this item.

References

This document is referenced by:
IEEE 24765 - Systems and software engineering - Vocabulary
Published by IEEE on September 1, 2017
General Consistent with ISO vocabulary standards, each technical committee is responsible for standard terminology in its area of specialization. This document provides a common vocabulary applicable...
This document is referenced by:
ISO/IEC/IEEE 24765 - Systems and software engineering - Vocabulary
Published by ISO on September 1, 2017
General Consistent with ISO vocabulary standards, each technical committee is responsible for standard terminology in its area of specialization. This document provides a common vocabulary applicable...
This document is referenced by:
CSA ISO/IEC 14102 - Information technology — Guideline for the evaluation and selection of CASE tools
Published by CSA on January 1, 2009
This International Standard gives guidelines for the evaluation and selection of CASE tools, covering a partial or full portion of the software engineering life cycle. It establishes processes and...
This document is referenced by:
IEC 62551 - Analysis techniques for dependability – Petri net techniques
Published by IEC on October 1, 2012
This International Standard provides guidance on a Petri net based methodology for dependability purposes. It supports modelling a system, analysing the model and presenting the analysis results....
This document is referenced by:
BS ISO/IEC/IEEE 24765 - Systems and software engineering — Vocabulary
Published by BSI on October 31, 2017
A description is not available for this item.
This document is referenced by:
BS EN 62551 - Analysis techniques for dependability - Petri net techniques
Published by BSI on November 30, 2012
A description is not available for this item.
This document is referenced by:
CSA IEC 31010 - Risk management — Risk assessment techniques
Published by CSA on January 1, 2020
This International Standard provides guidance on the selection and application of techniques for assessing risk in a wide range of situations. The techniques are used to assist in making decisions...
This document is referenced by:
ISO/IEC 15909-2 - Systems and software engineering - High-level Petri nets - Part 2: Transfer format
Published by ISO on February 15, 2011
This part of ISO/IEC 15909 defines an XML-based transfer format for Petri nets, which are defined conceptually and mathematically in ISO/IEC 15909-1. This transfer format enables the exchange of...
View Less
View All
Advertisement