Browse All Reviews
Software Engineering (D.2)
Design Tools and Techniques (D.2.2)
> Petri Nets (D.2.2...)
All Media Types
1-10 of 64 Reviews about "
Petri Nets (D.2.2...)
Cause-effect structures: an algebra of nets with examples of applications
Czaja L., Springer International Publishing, New York, NY, 2019. 160 pp. Type: Book (978-3-030204-60-0)
Most systems in the real world--for example, computational, physical, or biological ones--consist of multiple components that on the one hand operate concurrently, but on the other hand may also interact with each other. Since at any ...
Apr 12 2022
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) in his PhD t...
Mar 25 2021
Process algebras for Petri nets: the alphabetization of distributed systems
Gorrieri R., Springer International Publishing, New York, NY, 2017. 302 pp. Type: Book (978-3-319555-58-4)
This monograph relates process expressions to process models, such as labeled transition systems and Petri nets of various kinds. The models are set up in chapters 2 and 3, together with descriptions of their behavior, such as strong bisimulation,...
Feb 6 2019
Wearable IoT data stream traceability in a distributed health information system
Lomotey R., Pry J., Sriramoju S. Pervasive and Mobile Computing 40 692-707, 2017. Type: Article
Personal use of wearable Internet of Things (IoT) devices for health monitoring is rapidly expanding. For medical use, routing continuous streams of this data raises new security, safety, and complexity concerns. This paper explores traceability b...
Apr 5 2018
The logical view on continuous Petri nets
Blondin M., Finkel A., Haase C., Haddad S. ACM Transactions on Computational Logic 18(3): 1-28, 2017. Type: Article
The reachability problem for standard Petri nets is EXPSPACE hard, and the coverability problem is EXPSPACE complete. However, more efficient algorithms exist for variants of the standard nets. Continuous Petri nets are such a variant that allows ...
Nov 17 2017
Prototyping of concurrent control systems implemented in FPGA devices
Wiśniewski R., Springer International Publishing, New York, NY, 2016. 173 pp. Type: Book (978-3-319458-10-6)
This book attempts to provide a bridge between science and engineering in the field of concurrent control systems specified by Petri nets. According to the preface, it would be “useful to CAD researchers, engineers, and designers of concurre...
Jul 13 2017
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 the network (t...
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 functionality ...
May 26 2016
Formal methods applied to complex systems: implementation of the B method
Boulanger J., Wiley-IEEE Press, Hoboken, NJ, 2014. 496 pp. Type: Book (978-1-848217-09-6)
B, the language created by Jean-Raymond Abrial , stands (as a “confidential informant” had revealed to me more than a decade ago) for “Bourbaki.” The letter refers to a 19th-century French general of Greek descent, Nicol...
Feb 17 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 resources t...
Mar 25 2015
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2022 ThinkLoud, Inc.