↓ Skip to main content
What is this page? Embed badge

Application and Theory of Petri Nets

Overview of attention for book
Cover of 'Application and Theory of Petri Nets'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Net Models for Concurrent Object Behaviour
  3. Altmetric Badge
    Chapter 2 The Theory of WSTS: The Case of Complete WSTS
  4. Altmetric Badge
    Chapter 3 Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods
  5. Altmetric Badge
    Chapter 4 An SMT-Based Discovery Algorithm for C-Nets
  6. Altmetric Badge
    Chapter 5 Decomposing Process Mining Problems Using Passages
  7. Altmetric Badge
    Chapter 6 Complexity of the Soundness Problem of Bounded Workflow Nets
  8. Altmetric Badge
    Chapter 7 Cost Soundness for Priced Resource-Constrained Workflow Nets
  9. Altmetric Badge
    Chapter 8 On the α -Reconstructibility of Workflow Nets
  10. Altmetric Badge
    Chapter 9 On Profiles and Footprints – Relational Semantics for Petri Nets
  11. Altmetric Badge
    Chapter 10 Data and Abstraction for Scenario-Based Modeling with Petri Nets
  12. Altmetric Badge
    Chapter 11 Maximal Confluent Processes
  13. Altmetric Badge
    Chapter 12 Old and New Algorithms for Minimal Coverability Sets
  14. Altmetric Badge
    Chapter 13 Stubborn Sets for Simple Linear Time Properties
  15. Altmetric Badge
    Chapter 14 Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method
  16. Altmetric Badge
    Chapter 15 Safety Slicing Petri Nets
  17. Altmetric Badge
    Chapter 16 Capacity Planning for Vertical Search Engines: An Approach Based on Coloured Petri Nets
  18. Altmetric Badge
    Chapter 17 An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets
  19. Altmetric Badge
    Chapter 18 Designing Weakly Terminating ROS Systems
  20. Altmetric Badge
    Chapter 19 Nets-within-Nets to Model Innovative Space System Architectures
  21. Altmetric Badge
    Chapter 20 P- and T-Systems in the Nets-within-Nets-Formalism
  22. Altmetric Badge
    Chapter 21 Stochastic Modeling and Analysis Using QPME: Queueing Petri Net Modeling Environment v2.0
  23. Altmetric Badge
    Chapter 22 Snoopy – A Unifying Petri Net Tool
  24. Altmetric Badge
    Chapter 23 CPN Assistant II: A Tool for Management of Networked Simulations
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

blogs
1 blog

Readers on

mendeley
17 Mendeley
Summary Blogs
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Application and Theory of Petri Nets
Published by
Springer Berlin Heidelberg, June 2012
DOI 10.1007/978-3-642-31131-4
ISBNs
978-3-64-231130-7, 978-3-64-231131-4
Editors

Haddad, Serge, Pomello, Lucia

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 17 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 17 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 6%
Lecturer 1 6%
Unknown 15 88%
Readers by discipline Count As %
Computer Science 2 12%
Unknown 15 88%

This page is provided by Altmetric.