scientific article
From MaRDI portal
Publication:3745291
zbMath0606.68055MaRDI QIDQ3745291
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items (20)
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
This page was built for publication:
