Key facts
- number of authors: 63 people
- number of books: 90
- books: Modeling and control of discrete-event dynamic systems : with Petri nets and other tool, Coverability and inhibitor arcs : an example, Models for legal documentation : using formal methods for quality assurance in hypertext systems
- authors: Branislav Hrúz, Sander van der Vlugt, Nick Rossiter
- publication dates: 2007, 2011, 1993
- book publishers: : Springer, Newcastle UniversityComputing Science, University of Newcastle upon Tyne Computing Science
Extract data
Download datasets about Petri nets:
Dataset of books about Petri nets
"Petri nets" is one of the 293,135 book subjects in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.