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

Application and Theory of Petri Nets 1997

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 26 Model checking LTL using constraint programming
  3. Altmetric Badge
    Chapter 27 On the composition of timed systems
  4. Altmetric Badge
    Chapter 28 Some issues about Petri net application to manufacturing and process supervisory control
  5. Altmetric Badge
    Chapter 29 On the abstraction of coloured Petri Nets
  6. Altmetric Badge
    Chapter 30 Life-cycle inheritance
  7. Altmetric Badge
    Chapter 31 Multi-agent-systems based on coloured Petri nets
  8. Altmetric Badge
    Chapter 32 On the complexity of the linear-time μ-calculus for Petri Nets
  9. Altmetric Badge
    Chapter 33 Improved implementations via a new structural equivalence on labeled nets
  10. Altmetric Badge
    Chapter 34 Time processes for time Petri nets
  11. Altmetric Badge
    Chapter 35 Timed Petri nets and temporal linear logic
  12. Altmetric Badge
    Chapter 36 Efficient handling of Phase-type distributions in generalized stochastic Petri nets
  13. Altmetric Badge
    Chapter 37 Petri's axioms of concurrency a selection of recent results
  14. Altmetric Badge
    Chapter 38 Analysis of Petri nets with a dynamic priority method
  15. Altmetric Badge
    Chapter 39 A compositional partial order semantics for Petri net components
  16. Altmetric Badge
    Chapter 40 Covering step graph preserving failure semantics
  17. Altmetric Badge
    Chapter 41 Siphons, traps and high-level nets with infinite color domains
  18. Altmetric Badge
    Chapter 42 Teaching Coloured Petri Nets — a gentle introduction to formal methods in a distributed systems course
  19. Altmetric Badge
    Chapter 43 Transition systems of Elementary Net Systems with inhibitor arcs
  20. Altmetric Badge
    Chapter 44 Coupling asynchrony and interrupts: Place Chart Nets
  21. Altmetric Badge
    Chapter 45 Modeling and solving constraint satisfaction problems through Petri nets
  22. Altmetric Badge
    Chapter 46 Fault detection in telecommunication networks based on a Petri net representation of alarm propagation
  23. Altmetric Badge
    Chapter 47 Analysing bang & Olufsen's BeoLink® audio/video system using coloured Petri nets
  24. Altmetric Badge
    Chapter 48 Verification of workflow nets
  25. Altmetric Badge
    Chapter 49 Verification of siphons and traps for algebraic Petri nets
  26. Altmetric Badge
    Chapter 50 Orthogonal transformations for coloured Petri nets
Attention for Chapter 44: Coupling asynchrony and interrupts: Place Chart Nets
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Readers on

mendeley
2 Mendeley
Summary Wikipedia
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
Coupling asynchrony and interrupts: Place Chart Nets
Chapter number 44
Book title
Application and Theory of Petri Nets 1997
Published by
Springer, Berlin, Heidelberg, June 1997
DOI 10.1007/3-540-63139-9_44
Book ISBNs
978-3-54-063139-2, 978-3-54-069187-7
Authors

Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alex Yakovlev, Kishinevsky, Michael, Cortadella, Jordi, Kondratyev, Alex, Lavagno, Luciano, Taubin, Alexander, Yakovlev, Alex

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 50%
Student > Bachelor 1 50%
Readers by discipline Count As %
Computer Science 2 100%

This page is provided by Altmetric.