Contributions

  • Susanna Donatelli (Editor) - Contributor
  • Jetty Kleijn (Editor) - Contributor

Publication

1999-07-20 - Springer

Language

English

Word Count

106,250 words, Guess

Page Count

425 pages

Physical Format

Paperback

Identifiers

  • Open LibraryOL9688955M
  • ISBN-139783540661320
  • ISBN-103540661328
  • OCLC Control Number41834434
  • Goodreads7269962

Classifications

  • LCCQA75.5-76.95

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.

Subjects

Other Editions

  • Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings (Lecture Notes in Computer Science)PaperbackSpringer1999-07-20

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!