An edition of Coloured Petri Nets (1997)
Modeling and Validation of Concurrent Systems
By Kurt Jensen
Publish Date
2009
Publisher
Springer Berlin / Heidelberg
Language
eng
Pages
330
Description:
subjects: Petri nets