Petri nets for systems engineering : a guide to modeling, verification, and applications

Author(s)

• Girault, Claude
• Valk, R. (Rüdiger)

Bibliographic Information

Petri nets for systems engineering : a guide to modeling, verification, and applications

Claude Girault, Rüdiger Valk

Springer, c2003

Note

Includes bibliographical references (p. [571]-599) and index

Details

• NCID: BA5986902X
• ISBN:
  • 9783642074479
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; Tokyo
• Pages/Volumes: xvi, 607 p.
• Size: 24 cm