Record: found
Abstract: not found
Book Chapter: not found

Petri Nets and Other Models of Concurrency – ICATPN 2007 

Generating Petri Net State Spaces

other

Author(s): Karsten Wolf

Publication date (Print): 2007

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

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

Most cited references 34

Record: found
Abstract: not found
Book: not found

The Temporal Logic of Reactive and Concurrent Systems

Zohar Manna, Amir Pnueli (1992)

0 comments Cited 159 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Parallel program schemata

Richard M Karp, Raymond E. Miller (1969)

0 comments Cited 113 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Coloured petri nets and the invariant-method

Kurt Jensen (1981)

0 comments Cited 70 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Pages: 29-42

DOI: 10.1007/978-3-540-73094-1_5

SO-VID: a80f5698-1141-4aff-87be-496b41cf5b85

History

Data availability:

Generating Petri Net State Spaces

Read this book at

Related collections

Cascading Disasters

Most cited references 34

The Temporal Logic of Reactive and Concurrent Systems

Parallel program schemata

Coloured petri nets and the invariant-method

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,804

Cited by 9