↓ 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
Attention for Chapter 23: CPN Assistant II: A Tool for Management of Networked Simulations
Altmetric Badge

Citations

dimensions_citation
2 Dimensions
Summary Dimensions citations
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.
Chapter title
CPN Assistant II: A Tool for Management of Networked Simulations
Chapter number 23
Book title
Application and Theory of Petri Nets
Published by
Springer, Berlin, Heidelberg, June 2012
DOI 10.1007/978-3-642-31131-4_23
Book ISBNs
978-3-64-231130-7, 978-3-64-231131-4
Authors

Štefan Korečko, Ján Marcinčin, Viliam Slodičák

View on publisher site

This page is provided by Altmetric.