Coloured Petri Nets, Vol. 1
Subtitle: Basic Concepts, Analysis Methods and Practical Use
Edition: 2nd ed. 1996. 2nd corr. printing edition
Series: Monographs in Theoretical Computer Science. An EATCS Series
Publisher: Springer
Published: April 28, 2003
Language: eng
Format: Hardcover
Number of pages: 234
ISBN-13: 9783540609438
Subjects: Computer modelling & simulation; Software engineering; Utilities & tools; Programming - Software Development; Automata; Systems Analysis; Mathematics; Textbooks; Science/Mathematics; Computer Science; Logic; Computers / Programming / Software Development; Advanced; Petri nets
First sentence: High-level nets, such as Coloured Petri Nets (CP-nets) and Predicate/ Transition Nets (Pr/T-nets), are now in widespread use for many different practical purposes.