An edition of Coloured Petri Nets: Modelling and Validation of Concurrent Systems (2009)

Coloured Petri Nets

Modelling and Validation of Concurrent Systems

by and

Cover of: Coloured Petri Nets by Kurt Jensen, Lars M. Kristensen
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
March 28, 2025 | History
Edit
An edition of Coloured Petri Nets: Modelling and Validation of Concurrent Systems (2009)

Coloured Petri Nets

Modelling and Validation of Concurrent Systems

by and

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English

Check nearby libraries

Buy this book

Subjects

Petri nets, Computer simulation, Computer network architectures, Computer science, Software engineering
Edition Availability
Cover of: Coloured Petri Nets
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
2009, Springer
in English

Add another edition?

Book Details

Edition Identifiers

Open Library
OL25418889M
ISBN 13
9783642002847

Work Identifiers

Work ID
OL20653239W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
March 28, 2025 Edited by ImportBot Redacting ocaids
August 22, 2020 Edited by ISBNbot2 normalize ISBN
March 13, 2020 Edited by Drini Added new cover
March 13, 2020 Edited by Drini separate to new work
November 18, 2012 Created by Mehdi Imported from Internet Archive item record