Petri net synthesis

Author(s)

• Badouel, Eric
• Bernardinello, Luca
• Darondeau, Philippe

Bibliographic Information

Petri net synthesis

Eric Badouel, Luca Bernardinello, Philippe Darondeau

（Texts in theoretical computer science, An EATCS series）

Springer, c2015

Note

Includes bibliographical references and index

Details

• NCID: BB20366265
• ISBN:
  • 9783662479667
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Heidelberg
• Pages/Volumes: xiii, 339 p.
• Size: 25 cm
• Classification:
  • DC23 : 511.35
• Subject Headings:
  • LCSH : Petri nets
• Parent Bibliography ID:
  • BA24186461