There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 1998

Publication date (Online): May 26 2006

Pages: 103-115

DOI: 10.1007/BFb0055044

SO-VID: a752773d-5c7f-4651-bf01-744fd0d0b9aa

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 41

Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS
Authors: J.-F. Raskin, L. Van Begin, G. Geeraerts
Undecidable problems in unreliable computations
Authors: Richard Mayr
Transforming BPEL to Petri Nets
Authors: Sebastian Hinz, Karsten Schmidt, Christian Ståhl

See all cited by

Reset nets between decidability and undecidability

Read this book at