Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Software (D) > Software Engineering (D.2) > Design Tools and Techniques (D.2.2) > Petri Nets (D.2.2...)  
  1-10 of 64 Reviews about "Petri Nets (D.2.2...)": Date Reviewed
  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 [1], 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
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2022 ThinkLoud, Inc.
Terms of Use
| Privacy Policy