Publication:3771633
From MaRDI portal
zbMath0633.68055MaRDI QIDQ3771633
Publication date: 1987
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
On liveness and controlled siphons in Petri nets, An O(¦S¦ × ¦T¦)-algorithm to verify if a net is regular, Unnamed Item, A Theory of Distributed Markov Chains, Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues, PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets, Symmetric and Asymmetric Asynchronous Interaction, Structure theory of equal conflict systems, A note on regular Petri nets, A polynomial-time algorithm to decide liveness of bounded free choice nets, A causal semantic for time Petri nets, Toward uniform random generation in 1-safe Petri nets, Extensible structural analysis of Petri net product lines, Synthesis of Petri nets with restricted place-environments: classical and parameterized, On the parameterized complexity of the synthesis of Boolean nets with restricted place environments, A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems, On Synchronous and Asynchronous Interaction in Distributed Systems