Application and Theory of Petri Nets 1999
Subtitle: 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings (Lecture Notes in Computer Science)
Contributors: Susanna Donatelli (Editor); Jetty Kleijn (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 20, 1999
Language: eng
Format: Paperback
Number of pages: 425
ISBN-13: 9783540661320
Subjects: Computer Communications & Networking; Computer architecture & logic design; Mathematical logic; Mathematical theory of computation; Science/Mathematics; Computer Mathematics; Computers; Computers - General Information; Computer Science; General; Colored Petri Nets; Computers / Computer Science; Concurrent Systems; Hybrid Systems; Networking; Petri Nets
First sentence: The generation of the state space, or reachability set, S for a discrete-state model is an essential step in many types of studies.