Search for Author All Reviews
	Montali, Marco     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Model checking Petri nets with names using data-centric dynamic systems Montali M., Rivkin A. Formal Aspects of Computing 28(4): 615-641, 2016.  Type: Article Carl Adam Petri established Petri net theory, in 1962, with the publication of his doctoral thesis, “Kommunikation mit Automaten.” In the following 54 years, a rich and extensive body of work has been added to the t...... Mar 10 2017
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy