Programutveckling och systemdokumentation

Kommittébeteckning: SIS/TK 303 (IT-system och IT-tjänster)
Källa: ISO
Svarsdatum: den 18 dec 2018
Se merSe mindre


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 between organizations, to ensure a common understanding of the technique and of the specifications written using the technique. This document will also facilitate the development and interoperability of Petri net computer support tools.

This document is Part 1 of a multi-part standard, ISO/IEC 15909. Part 1 describes definitions, semantics, execution, and graphical notations for High-level Petri Nets. A transfer format for the High-level Petri Nets is the subject of Part 2, while Part 3 addresses techniques for enrichments, extensions, and structuring mechanisms.

Business Drivers

Reliable software development requires powerful mathematical models and tools. The usability of Petri nets has been proven for non-trivial industrial applications.

This document is written as a reference for systems analysts, designers, developers, maintainers and procurers, and for Petri net tool designers and developers.

Fields of Application

The standard defined in this document is applicable to a wide variety of concurrent discrete event systems and in particular distributed systems. Generic fields of application include:

— requirements analysis;

— development of specifications, designs and test suites;

— descriptions of existing systems prior to re-engineering;

— modeling business and software processes;

— providing the semantics for concurrent languages;

— simulation of systems to increase confidence;

— formal analysis of the behavior of systems;

— and development of Petri net support tools.

This standard may be applied to the design of a broad range of systems and processes, including aerospace, air traffic control, avionics, banking, biological and chemical processes, business processes, communication protocols, computer hardware architectures, control systems, databases, defense command and control systems, distributed computing, electronic commerce, fault-tolerant systems, games, hospital procedures, information systems, Internet protocols and applications, legal processes, logistics, manufacturing systems, metabolic processes, music, nuclear power systems, operating systems, transport systems (including railway control), security systems, telecommunications, and workflow.

Structure of this document

This document defines High Level Petri Nets showing common concepts for Petri Nets first, and then describing several typical types of Petri Nets, such as Place/Transition Nets, Symmetric Nets, and Petri Nets with Time. Each of the Petri Net types is described with its definition, semantics, and execution.

Their graphical notations are provided in informative Annex B.

More precisely, this document is structured as follows.

Clause 1 describes the scope, the areas of application and the intended audience of this document.

Clause 4 defines conformance levels.

Clause 2 gives references to International Standards that are essential for the correct interpretation of this document.

Clause 3 defines all terms relevant to this document and includes a list of abbreviations and notations.

Clause 5 defines the common formal concepts that are shared by all Petri net types defined in this

document. The common concepts are described with their definition, formal semantics and execution.

Clauses 6, 7, 8, 9 and 10 respectively define the types of Petri nets included in this document: Place/Transition Nets, Symmetric Nets, High-level Petri Nets, Petri Nets with Priorities, and Petri Nets with Time. Each of these types of Petri nets is described with their definition, formal semantics, and execution.

Additionally, Clauses 9 and 10 also describe the models of Petri Nets with Priorities and Petri Nets with Time, respectively.

Normative Annex A develops the main mathematical apparatus required for defining the Petri net types included in this document.

Informative Annex B provides guidelines for the graphical notations of the Petri net types included in this document.

A bibliography concludes this document.