IEC > Webstore > Search > Register > Check out > Payment > Order confirmation

Publication detail

 
Reference ISO/IEC 15909-2 ed1.0 withdrawn corrigendum
> preview
Title Systems and software engineering - High-level Petri nets - Part 2: Transfer format
Publication date 2011-02-15
Format, price
(Swiss francs)
and language
198.- 102 pages
198.- 1187 Kb
 
Abstract ISO/IEC 15909-2:2011 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 Petri nets among different Petri net tools and among different parties. Moreover, ISO/IEC 15909-2:2011 defines some concepts and XML-based syntax for defining the detailed graphical appearance of Petri nets.The focus of ISO/IEC 15909-2:2011 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 ISO/IEC 15909-2:2011; it will be defined in ISO/IEC 15909-3. 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. ISO/IEC 15909-2:2011 is written as a reference for developers of Petri net tools. It will also be useful for researchers who define new versions and variants of Petri nets.
Technical Committee JTC 1/SC 7 - Software and systems engineering  RSS
ICS Codes
35.080 Software
*Including software development, documentation, internet applications and use
 
Replaced by
 
Work in progress
ProjectStage codeForecast publication date
No project under development--


Search

>> Advanced search

Quick access by ref. number



Basket

Your basket is empty
Your country is :
Your TVA is : You must login...

Payment

Accepted credit cards:
Prices in CHF (Swiss francs)
Request a pro forma to pay by bank transfer or cheque
Learn how to share your publications with your colleagues, using networking options
Prices in CHF (Swiss francs)
We accept the following credit cards:
To pay by bank transfer: request a pro forma
If you purchase regularly through the IEC Webstore you can open a corporate account

Just Published

>> Published in the last 30 days

Bestsellers

  1. IEC 60601-1-2 Ed. 4.0
  2. IEC 60825-1 Ed. 3.0
  3. IEC 61000-4-5 Ed. 3.0
  4. IEC 60079-0 Ed. 6.0
  5. IEC 60079-31 Ed. 2.0
  6. IEC 60065 Ed. 8.0
  7. IEC 60079-1 Ed. 7.0
  8. IEC 60335-1 Ed. 5.1
  9. IEC 60598-1 Ed. 8.0
  10. IEC 61000-4-2 Ed. 2.0