Search for Topics All Reviews
	Browse All Reviews > Software (D) > Software Engineering (D.2) > Design Tools and Techniques (D.2.2) > Petri Nets (D.2.2...)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-10 of 28 Reviews about "Petri Nets (D.2.2...)": Date Reviewed    Carl Adam Petri: ideas, personality, impact Reisig W., Rozenberg G., Springer International Publishing, New York, NY, 2019. 249 pp.  Type: Book (978-3-319961-53-8) Every computer scientist studies Petri nets in their early academic years. Petri nets are a powerful yet very intuitive modeling tool for concurrent and distributed systems. Such networks were introduced by Carl Adam Petri (1926-2010) ... Mar 25 2021   On the geometry and algebra of networks with state Sabadini N., Schiavio F., Walters R. Theoretical Computer Science 664(C): 144-163, 2017.  Type: Article Several models have been proposed for the modeling of and reasoning about concurrent networks, the most widely known being the several variants of Petri nets. One interesting problem is the dichotomy between the geometric aspects of th... Jun 14 2017   Microservice based tool support for business process modelling Alpers S., Becker C., Oberweis A., Schuster T.  EDOCW 2015 (Proceedings of the 2015 IEEE 19th International Enterprise Distributed Object Computing Workshop,Sep 21-25, 2015) 71-78, 2015.  Type: Proceedings Are microservices able to fulfill the promises service-oriented architecture (SOA), allegedly, has not been able to achieve? This architectural style consists of partitioning a more complex software system into independent chunks of fu... May 26 2016   Context-aware workflow management for virtual enterprises based on coordination of agents Hsieh F., Lin J. Journal of Intelligent Manufacturing 25(3): 393-412, 2014.  Type: Article Processes typically consist of a prestructured set of activities performed by different resources (people, machines) subject to time and cost constraints. This paper demonstrates an algorithm to determine the cost-optimal allocation of... Mar 25 2015   Partial order reduction for checking soundness of time workflow nets Boucheneb H., Barkaoui K. Information Sciences 282261-276, 2014.  Type: Article The authors wish to verify workflows designed using timed workflow nets, which Ling and Schmidt proposed in 2000 [1]. Boucheneb, the first author listed, and Rakkay proposed an abstraction technique of contracted state class graphs in ... Oct 30 2014   Modeling business processes: a Petri net-oriented approach van der Aalst W., Stahl C., The MIT Press, Cambridge, MA, 2011. 386 pp.  Type: Book (978-0-262015-38-7) It takes little time to see that this book’s subtitle more accurately reflects the scope and contents than the main title. The focus is indeed on a progressively evolving tutorial introduction to Petri nets and, later, colore... Mar 20 2012   Modeling languages for business processes and business rules: a representational analysis zur Muehlen M., Indulska M. Information Systems 35(4): 379-390, 2010.  Type: Article One might naively think that any combination of a modern business process modeling language and a modern business rule modeling language would be able to fully model the dynamic and static structure of today’s enterprises. Th... Nov 29 2010   Deriving protocol specifications from service specifications written as predicate/transition-nets Yamaguchi H., El-Fakih K., Bochmann G., Higashino T. Computer Networks 51(1): 258-284, 2007.  Type: Article Researchers have used Petri nets to model processes for decades, but they recently entered the mainstream via the unified modeling language’s activity diagrams. A colored Petri net has places that can have objects called toke... May 24 2007   Lectures on concurrency and Petri nets: advances in Petri nets (Lecture Notes in Computer Science 3098) , SpringerVerlag, 2004.  Type: Book (9783540222613) This collection of research papers describes state-of-the-art research and findings on Petri nets, and other similar modeling mechanisms. The intended audience for the work could be mathematicians, computer scientists, researchers in a... Feb 23 2005   Petri net technology for communication-based systems: advances in Petri nets Ehrig H., Reisig W., Rozenberg G., Springer-Verlag, 2004.  Type: Book (9783540205388) Carl Petri’s 1962 doctoral thesis, “Kommunikation mit automaten” (Communicating with automata) [1], introduced a new type of formalism to the computing world. That formalism, now known as Petri nets, has b... Sep 29 2004       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy