UNLIMITED FREE ACCESS TO THE WORLD'S BEST IDEAS

close
Already an Engineering360 user? Log in.

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.

Customize Your Engineering360 Experience

close
Privacy Policy

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.

ISO/IEC 15909-2

Software and system engineering - High-level Petri nets - Part 2: Transfer Format

inactive
Buy Now
Organization: ISO
Publication Date: 15 November 2009
Status: inactive
Page Count: 110
ICS Code (Software): 35.080
scope:

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.

Document History

December 1, 2013
Systems and software engineering - High-level Petri nets - Part 2: Transfer format TECHNICAL CORRIGENDUM 1
A description is not available for this item.
February 15, 2011
Systems and software engineering - High-level Petri nets - Part 2: Transfer format
This part of ISO/IEC 15909 defines an XML-based transfer format for Petri nets, which are defined conceptually and mathematically in ISO/IEC 15909-1. This transfer format enables the exchange of...
ISO/IEC 15909-2
November 15, 2009
Software and system engineering - High-level Petri nets - Part 2: Transfer Format
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...

References

Advertisement