Nadia Nad,
http://link.springer.com/chapter/10.1007%2F3-540-69108-1_2 merci d'avance
Application and Theory of Petri Nets 1998
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Petri Nets as Token Objects
-
Altmetric BadgeChapter 2 Synchronized Products of Transition Systems and Their Analysis
-
Altmetric BadgeChapter 3 Manual and Automatic Exploitation of Symmetries in SPN Models
-
Altmetric BadgeChapter 4 Dimensioning Handover Buffers in Wireless ATM Networks with GSPN Models
-
Altmetric BadgeChapter 5 A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
-
Altmetric BadgeChapter 6 Modelling and Model Checking a Distributed Shared Memory Consistency Protocol
-
Altmetric BadgeChapter 7 Finding Stubborn Sets of Coloured Petri Nets without Unfolding
-
Altmetric BadgeChapter 8 On Stubborn Sets in the Verification of Linear Time Temporal Properties
-
Altmetric BadgeChapter 9 A Compositional Petri Net Semantics for SDL
-
Altmetric BadgeChapter 10 An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
-
Altmetric BadgeChapter 11 Efficiency of Token-Passing MUTEX-Solutions — Some Experiments
-
Altmetric BadgeChapter 12 Thinking in Cycles
-
Altmetric BadgeChapter 13 Iterative Decomposition and Aggregation of Labeled GSPNs
-
Altmetric BadgeChapter 14 On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking
-
Altmetric BadgeChapter 15 Deadlock Detection in the Face of Transaction and Data Dependencies
-
Altmetric BadgeChapter 16 Petri Net Based Certification of Event-Driven Process Chains
-
Altmetric BadgeChapter 17 M-net Calculus Based Semantics for Triggers
-
Altmetric BadgeChapter 18 SWN Analysis and Simulation of Large Knockout ATM Switches
-
Altmetric BadgeChapter 19 Flexibility in Algebraic Nets
-
Altmetric BadgeChapter 20 ESTL: A Temporal Logic for Events and States