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

Application and Theory of Petri Nets and Concurrency

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Topics in Region Theory and Synthesis Problems
  3. Altmetric Badge
    Chapter 2 Flat Petri Nets (Invited Talk)
  4. Altmetric Badge
    Chapter 3 Cost and Quality in Crowdsourcing Workflows
  5. Altmetric Badge
    Chapter 4 Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design
  6. Altmetric Badge
    Chapter 5 A Turn-Based Approach for Qualitative Time Concurrent Games
  7. Altmetric Badge
    Chapter 6 Canonical Representations for Direct Generation of Strategies in High-Level Petri Games
  8. Altmetric Badge
    Chapter 7 Automatic Synthesis of Transiently Correct Network Updates via Petri Games
  9. Altmetric Badge
    Chapter 8 Computing Parameterized Invariants of Parameterized Petri Nets
  10. Altmetric Badge
    Chapter 9 On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets
  11. Altmetric Badge
    Chapter 10 Skeleton Abstraction for Universal Temporal Properties
  12. Altmetric Badge
    Chapter 11 Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets
  13. Altmetric Badge
    Chapter 12 Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets
  14. Altmetric Badge
    Chapter 13 Edge, Event and State Removal: The Complexity of Some Basic Techniques that Make Transition Systems Petri Net Implementable
  15. Altmetric Badge
    Chapter 14 Synthesis of (Choice-Free) Reset Nets
  16. Altmetric Badge
    Chapter 15 Synthesis of Petri Nets with Restricted Place-Environments: Classical and Parameterized
  17. Altmetric Badge
    Chapter 16 Discovering Stochastic Process Models by Reduction and Abstraction
  18. Altmetric Badge
    Chapter 17 Efficient Algorithms for Three Reachability Problems in Safe Petri Nets
  19. Altmetric Badge
    Chapter 18 A Lazy Query Scheme for Reachability Analysis in Petri Nets
  20. Altmetric Badge
    Chapter 19 Abstraction-Based Incremental Inductive Coverability for Petri Nets
  21. Altmetric Badge
    Chapter 20 Firing Partial Orders in a Petri Net
  22. Altmetric Badge
    Chapter 21 Deterministic Concurrent Systems
  23. Altmetric Badge
    Chapter 22 Deciphering the Co-Car Anomaly of Circular Traffic Queues Using Petri Nets
  24. Altmetric Badge
    Chapter 23 Cortado—An Interactive Tool for Data-Driven Process Discovery and Modeling
  25. Altmetric Badge
    Chapter 24 PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data
Attention for Chapter 9: On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets
Altmetric Badge
Summary
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
On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets
Chapter number 9
Book title
Application and Theory of Petri Nets and Concurrency
Published by
Springer, Cham, January 2021
DOI 10.1007/978-3-030-76983-3_9
Book ISBNs
978-3-03-076982-6, 978-3-03-076983-3
Authors

Amat, Nicolas, Berthomieu, Bernard, Dal Zilio, Silvano

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

This page is provided by Altmetric.