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

Lectures on Petri Nets I: Basic Models

Overview of attention for book
Cover of 'Lectures on Petri Nets I: Basic Models'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 13 Informal introduction to petri nets
  3. Altmetric Badge
    Chapter 14 Elementary net systems
  4. Altmetric Badge
    Chapter 15 Place/transition Petri Nets
  5. Altmetric Badge
    Chapter 16 Principles of high-level net theory
  6. Altmetric Badge
    Chapter 17 Petri nets in performance analysis: An introduction
  7. Altmetric Badge
    Chapter 18 Basic linear algebraic techniques for place/transition nets
  8. Altmetric Badge
    Chapter 19 Linear algebraic and linear programming techniques for the analysis of place/transition net systems
  9. Altmetric Badge
    Chapter 20 Decidability and complexity of Petri net problems — An introduction
  10. Altmetric Badge
    Chapter 21 The state explosion problem
  11. Altmetric Badge
    Chapter 22 Theory of regions
  12. Altmetric Badge
    Chapter 23 Petri nets and other models of concurrency
  13. Altmetric Badge
    Chapter 24 Distributed versions of linear time temporal logic: A trace perspective
Attention for Chapter 24: Distributed versions of linear time temporal logic: A trace perspective
Altmetric Badge

Citations

dimensions_citation
168 Dimensions
Summary Dimensions citations
So far, Dimensions has found 168 publications that cite this research output.

168

The most recent citing publications are shown below. View all 168 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.