What is ISO/IEC 15909‑1 - High-level Petri nets about?
ISO/IEC 15909‑1 is the first part of the ISO/IEC 15909 multi-series that discusses the applicability of high-level Petri nets in systems and software engineering.
ISO/IEC 15909‑1 defines a Petri net modelling language or technique, called high-level Petri nets, including its syntax and semantics. ISO/IEC 15909‑1 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. ISO/IEC 15909‑1 also facilitates the development and interoperability of Petri net computer support tools.
ISO/IEC 15909‑1 is applicable to a wide variety of concurrent discrete event systems and in particular distributed systems. Generic fields of application include:
- Requirement’s analysis
- Development of specifications, designs and test suites
- Descriptions of existing systems prior to re-engineering
- Modelling business and software processes
- Providing the semantics for concurrent languages
- Simulation of systems to increase confidence
- Formal analysis of the behaviour of systems
- Development of Petri net support tools
ISO/IEC 15909‑1 can 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, defence 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 workflows.
Who is ISO/IEC 15909‑1 - High-level Petri nets for?
ISO/IEC 15909‑1 on high-level Petri nets is useful for:
- System analysts, designers, developers
- Petri net tool designers and developers
Why should you use ISO/IEC 15909‑1- High-level Petri nets?
A problem with Petri nets is the explosion of the number of elements in their graphical form when they are used to describe complex systems. High-level Petri nets were developed to overcome this problem by introducing higher-level concepts, such as the use of complex structured data as tokens, and using algebraic expressions to annotate net elements.
ISO/IEC 15909‑1 provides you with the mathematical definition of high-level Petri nets, called the semantic model, its execution semantics, the graphical form of the technique and its mapping to the semantic model. ISO/IEC 15909‑1 also introduces you to some common notational conventions for the graphical form of high-level Petri nets. In conclusion, ISO/IEC 15909‑1 helps you to develop reliable software by providing you with the necessary mathematical models and tools.
What’s changed since the last update?
BS ISO/IEC 15909‑1:2019 replaces the ISO/IEC 15909‑1:2004, which has been technically revised. The main change compared to the previous edition is as follows:
- A complete redrafting of the concepts and definitions of Petri nets and Petri net types in a simpler, modular and incremental way