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

Publication detail

 
Reference ISO/IEC 15909-1 ed1.0 withdrawn corrigendum
> preview
Title Systems and software engineering -- High-level Petri nets -- Part 1: Concepts, definitions and graphical notation
Publication date 2004-12-02
Format, price
(Swiss francs)
and language
158.- 38 pages
158.- 776 Kb
 
Abstract ISO/IEC 15909-1:2004 defines a semi-graphical modelling language for the specification, design and analysis of discrete event systems, including software and in particular distributed and parallel systems where concurrency is an important characteristic. The technique, High-level Petri Nets, is mathematically defined and may thus be used to provide unambiguous specifications and descriptions of applications. The graphical nature of the technique allows information, or resource flow, and control flow to be visualised, providing a powerful aid to understanding system behaviour. It is also an executable technique, allowing specification prototypes to be developed to test ideas at the earliest and cheapest opportunity. Specifications written in the technique may be subjected to analysis methods to prove properties about the specifications, before implementation commences, thus saving on testing and maintenance time. The field of application encompasses a wide range of systems from technical systems such as manufacturing, business processes, computer software and hardware, telecommunication networks and signalling systems, defence systems, mechatronics, postal services and avionics to biological and sociotechnical systems.
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-1 Ed. 7.0
  5. IEC 60598-1 Ed. 8.0
  6. IEC 61000-3-2 Ed. 4.0
  7. IEC 60034-2-1 Ed. 2.0
  8. IEC 60068-2-30 Ed. 3.0
  9. IEC 60601-1 Ed. 3.1
  10. IEC 61000-4-6 Ed. 4.0