Petri Net Primer
portes grátis
Petri Net Primer
A Compendium on the Core Model, Analysis, and Synthesis
Devillers, Raymond; Best, Eike
Birkhauser Verlag AG
02/2025
545
Mole
9783031482809
15 a 20 dias
Descrição não disponível.
Preface.- 1 First Steps in Petri Nets.- 2 Languages of Petri Nets.- 3 Reachability and Coverability.- 4 Linear-algebraic Structure of Petri Nets.- 5 Graph-theoretical Structure of Petri Nets.- 6 More Structure Theory.- 7 Program Verification Using Traps.- 8 Fairness, Simulations, and Inhibitor Arcs.- 9 Unfoldings and Reachability Checking.- 10 Petri Net Computers.- 11 Synthesis of Petri Nets from Labelled Transition Systems.- 12 Persistent Transition Systems and Choice-free Petri Nets.- 13 Divide-and-Conquer Methods for Synthesis.- 14 Marked Graph Synthesis.- 15 Bounded Choice-free Net Synthesis.- 16 Model Checking Safe, Strongly Persistent Petri Nets.- 17 Semilinearity.- 18 Decidability of the reachability problem.- 19 The Box Algebra 1/2: Refinement and Recursion.- 20 The Box Algebra 2/2: Iteration and Data.- 21 High-level Petri Nets.- Biblyography.- Index
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Place/transition nets;Petri nets;Reachability problem;Coverability graph;Process algebra;Decidability
Preface.- 1 First Steps in Petri Nets.- 2 Languages of Petri Nets.- 3 Reachability and Coverability.- 4 Linear-algebraic Structure of Petri Nets.- 5 Graph-theoretical Structure of Petri Nets.- 6 More Structure Theory.- 7 Program Verification Using Traps.- 8 Fairness, Simulations, and Inhibitor Arcs.- 9 Unfoldings and Reachability Checking.- 10 Petri Net Computers.- 11 Synthesis of Petri Nets from Labelled Transition Systems.- 12 Persistent Transition Systems and Choice-free Petri Nets.- 13 Divide-and-Conquer Methods for Synthesis.- 14 Marked Graph Synthesis.- 15 Bounded Choice-free Net Synthesis.- 16 Model Checking Safe, Strongly Persistent Petri Nets.- 17 Semilinearity.- 18 Decidability of the reachability problem.- 19 The Box Algebra 1/2: Refinement and Recursion.- 20 The Box Algebra 2/2: Iteration and Data.- 21 High-level Petri Nets.- Biblyography.- Index
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
