Publication:3745291
From MaRDI portal
zbMath0606.68055MaRDI QIDQ3745291
Publication date: 1986
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N25: Theory of operating systems
Related Items
Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets, Symbolic and Structural Model-Checking, Computing Petri net languages by reductions, Structural Reductions Revisited, Petri Net Reductions for Counting Markings, Finding Complex Process-Structures by Exploiting the Token-Game, Dynamically consistent reduction of logical regulatory graphs, Connectivity of workflow nets: The foundations of stepwise verification, Reduction rules for reset/inhibitor nets, Petri nets for the design and operation of manufacturing systems, Property-preserving subnet reductions for designing manufacturing systems with shared resources, Reduction techniques for network validation in systems biology, Reduction using induced subnets to systematically prove properties for free-choice nets, Property-preserving transformations of elementary net systems based on morphisms, LTL under reductions with weaker conditions than stutter invariance, Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties, A Canonical Contraction for Safe Petri Nets, Transformations in Reconfigurable Place/Transition Systems, Calculi of net structures and sets are similar, Decompositional Petri Net Reductions