Поиск

Systems and software engineering. High-level Petri nets. Concepts, definitions and graphical notation.

Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notati…

Overview - ISO/IEC 15909-1:2019 (High-level Petri nets) ISO/IEC 15909-1:2019 defines high-level Petri nets as a standardized Petri net modeling language, including its syntax, semantics, execution se…

Systems and software engineering — High-level Petri nets — Part 3: Extensions and structuring mechanisms

Overview ISO/IEC 15909-3:2021 - "Systems and software engineering - High-level Petri nets - Part 3: Extensions and structuring mechanisms" defines how to extend, enrich and structure high-level Petri…

Systems and software engineering. High-level Petri nets. Extensions and structuring mechanisms.

Systems and software engineering. High-level Petri nets. Transfer format.

Systems and software engineering — High-level Petri nets — Part 2: Transfer format

Overview ISO/IEC 15909-2:2011 specifies an XML-based transfer format for Petri nets - the Petri Net Markup Language (PNML) - enabling interoperable exchange of Petri net models between tools and team…

Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notati…