🔥🔥 Don’t Miss Out on Our End of Autumn Sale. If you have any questions, feel free to click the bottom right corner to contact our customer service..

Concat us[email protected]
Shopping Cart

No products in the cart.

🔍
BS ISO/IEC 15909-2:2009:2010 Edition

BS ISO/IEC 15909-2:2009:2010 Edition

$215.11

Software and system engineering. High-level Petri nets – Transfer format

Published By Publication Date Number of Pages
BSI 2010 114
PDF Format Searchable Printable Preview Now
Guaranteed Safe Checkout
Category:

If you have any questions, feel free to reach out to our online customer service team by clicking on the bottom right corner. We’re here to assist you 24/7.
Email:[email protected]

This part of ISO/IEC 15909 defines an XML-based transfer format for Petri nets, which are defined conceptually and mathematically in part 1 of ISO/IEC 15909. This transfer format enables the exchange of Petri nets among different Petri net tools and among different parties. Moreover, this part of ISO/IEC 15909 defines some concepts and XML-based syntax for defining the detailed graphical appearance of Petri nets.

The focus of this part of ISO/IEC 15909 is on the transfer format for Place/Transition Nets, High-level Petri Nets and Symmetric Nets. The presentation, however, is structured in such a way that it is open for future extensions, so that other versions of Petri nets can be added later. The exact definition of this extension mechanism, called Petri net type definition, is not defined in this part of ISO/IEC 15909; it will be defined in part 3 of ISO/IEC 15909.

The transfer format will be used to transfer specifications of systems developed in High-level Petri Nets between tools to facilitate the development of systems in teams.

This part of ISO/IEC 15909 is written as a reference for developers of Petri net tools. Moreover, it will be useful for researchers who define new versions and variants of Petri nets.

Related products

BS ISO/IEC 15909-2:2009
$215.11