Publication:3745291

zbMath0606.68055MaRDI QIDQ3745291

Gérard Berthelot

Publication date: 1986

zbMATH Keywords

verification of parallel systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Related Items

Petri Net Reductions for Counting Markings, A Canonical Contraction for Safe Petri Nets, Computing Petri net languages by reductions, Reduction rules for reset/inhibitor nets, Property-preserving transformations of elementary net systems based on morphisms, LTL under reductions with weaker conditions than stutter invariance, Petri nets for the design and operation of manufacturing systems, Structural Reductions Revisited, Transformations in Reconfigurable Place/Transition Systems, Finding Complex Process-Structures by Exploiting the Token-Game, Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties, Calculi of net structures and sets are similar, Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets, Dynamically consistent reduction of logical regulatory graphs, Property-preserving subnet reductions for designing manufacturing systems with shared resources, Decompositional Petri Net Reductions, Reduction techniques for network validation in systems biology, Connectivity of workflow nets: The foundations of stepwise verification, Symbolic and Structural Model-Checking, Reduction using induced subnets to systematically prove properties for free-choice nets