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