Coloured Petri Nets
Coloured Petri Nets
Modelling and Validation of Concurrent Systems
Kurt Jensen
,
Lars M. Kristensen
Details
OL Work ID
OL20653239W
Subjects
Petri nets
Computer simulation
Computer network architectures
Computer science
Software engineering
Find this book
Open Library