Search
for Author
All Reviews
Jensen, Kurt
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
2
of
2
reviews
Coloured Petri nets: modelling and validation of concurrent systems
Jensen K., Kristensen L., Springer Publishing Company, Incorporated, New York, NY, 2009. 384 pp. Type: Book (9783642002830)
A colored Petri net (CPN) is a concurrent and typed enhancement of a state machine. This book is a comprehensive treatise on CPNs. Traditional state machines can proficiently model many constructs and abstract and analyze their behavio...
...
Aug 10 2010
Transactions on Petri nets and other models of concurrency I (Lecture Notes In Computer Science 5100)
Jensen K., Aalst W., Billington J. Springer-Verlag, Berlin, Heidelberg, 2008. Type: Divisible Book
This volume contains 13 selected papers from the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, which was held in Siedlce, Poland, in June 2007. They cover a wide range of topics...
...
Nov 2 2009
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy