• There are no items in your cart

ISO/IEC 15909-1:2004

Withdrawn
Withdrawn

A Withdrawn Standard is one, which is removed from sale, and its unique number can no longer be used. The Standard can be withdrawn and not replaced, or it can be withdrawn and replaced by a Standard with a different number.

View Superseded by
withdrawn

A Withdrawn Standard is one, which is removed from sale, and its unique number can no longer be used. The Standard can be withdrawn and not replaced, or it can be withdrawn and replaced by a Standard with a different number.

Systems and software engineering High-level Petri nets Part 1: Concepts, definitions and graphical notation
Available format(s)

Hardcopy , PDF , PDF 3 Users , PDF 5 Users , PDF 9 Users

Withdrawn date

08-29-2019

Published date

12-02-2004

ISO/IEC 15909-1:2004 defines a semi-graphical modelling language for the specification, design and analysis of discrete event systems, including software and in particular distributed and parallel systems where concurrency is an important characteristic. The technique, High-level Petri Nets, is mathematically defined and may thus be used to provide unambiguous specifications and descriptions of applications. The graphical nature of the technique allows information, or resource flow, and control flow to be visualised, providing a powerful aid to understanding system behaviour. It is also an executable technique, allowing specification prototypes to be developed to test ideas at the earliest and cheapest opportunity. Specifications written in the technique may be subjected to analysis methods to prove properties about the specifications, before implementation commences, thus saving on testing and maintenance time. The field of application encompasses a wide range of systems from technical systems such as manufacturing, business processes, computer software and hardware, telecommunication networks and signalling systems, defence systems, mechatronics, postal services and avionics to biological and sociotechnical systems.

DocumentType
Standard
Pages
38
PublisherName
International Organization for Standardization
Status
Withdrawn
SupersededBy

BS ISO/IEC IEEE 24765:2010 Systems and software engineering. Vocabulary
10/30175182 DC : 0 BS EN 62551 - ANALYSIS TECHNIQUES FOR DEPENDABILITY - PETRI NET MODELLING
CEI EN 62551 : 2013 ANALYSIS TECHNIQUES FOR DEPENDABILITY - PETRI NET TECHNIQUES
I.S. EN 62551:2012 ANALYSIS TECHNIQUES FOR DEPENDABILITY - PETRI NET TECHNIQUES (IEC 62551:2012 (EQV))
UNE-EN 62551:2014 Analysis techniques for dependability - Petri net techniques
BS EN ISO 19440:2007 Enterprise integration. Constructs for enterprise modelling
I.S. EN ISO 19440:2007 ENTERPRISE INTEGRATION - CONSTRUCTS FOR ENTERPRISE MODELLING
ISO/IEC 15909-2:2011 Systems and software engineering — High-level Petri nets — Part 2: Transfer format
VDI 4001 Blatt 3:2014-10 (Draft) Formalized modelling of reliability terms and definitions
BS ISO/IEC 14102:2008 Information technology. Guideline for the evaluation and selection of CASE tools
CSA ISO/IEC 14102 : 2009 : R2014 INFORMATION TECHNOLOGY - GUIDELINE FOR THE EVALUATION AND SELECTION OF CASE TOOLS
ISO/IEC 20016-1:2014 Information technology for learning, education and training Language accessibility and human interface equivalencies (HIEs) in e-learning applications Part 1: Framework and reference model for semantic interoperability
BS ISO/IEC 15909-2:2011 Systems and software engineering. High-level Petri nets Transfer format
BS EN 62551:2012 Analysis techniques for dependability. Petri net techniques
07/30168157 DC : 0 BS ISO/IEC 15909-2 - SOFTWARE AND SYSTEMS ENGINEERING - HIGH-LEVEL PETRI NETS - PART 2: TRANSFER FORMAT
CSA ISO/IEC 14102 : 2009 INFORMATION TECHNOLOGY - GUIDELINE FOR THE EVALUATION AND SELECTION OF CASE TOOLS
ISO 19440:2007 Enterprise integration Constructs for enterprise modelling
EN ISO 19440 : 2007 ENTERPRISE INTEGRATION - CONSTRUCTS FOR ENTERPRISE MODELLING (ISO 19440:2007)
CSA ISO/IEC 14102:09 (R2019) Information technology - Guideline for the evaluation and selection of CASE tools (Adopted ISO/IEC 14102:2008, second edition, 2008-11-01)
ISO/IEC 14102:2008 Information technology Guideline for the evaluation and selection of CASE tools
UNI EN ISO 19440 : 2008 ENTERPRISE INTEGRATION - CONSTRUCTS FOR ENTERPRISE MODELLING
ISO/IEC/IEEE 24765:2017 Systems and software engineering — Vocabulary
IEC 62551:2012 Analysis techniques for dependability - Petri net techniques
EN 62551 : 2012 ANALYSIS TECHNIQUES FOR DEPENDABILITY - PETRI NET TECHNIQUES (IEC 62551:2012)

View more information
US$73.00
Excluding Tax where applicable

Access your standards online with a subscription

Features

  • Simple online access to standards, technical information and regulations.

  • Critical updates of standards and customisable alerts and notifications.

  • Multi-user online standards collection: secure, flexible and cost effective.