scientific article
From MaRDI portal
Publication:3505124
zbMath1144.68318MaRDI QIDQ3505124
Maciej Koutny, Grzegorz Rozenberg, H. C. M. Kleijn
Publication date: 18 June 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (11)
Tissue Systems and Petri Net Synthesis ⋮ A Petri net model for membrane systems with dynamic structure ⋮ Signal set tissue systems and overlapping localities ⋮ Localities in systems with a/sync communication ⋮ Modeling dependencies and simultaneity in membrane system computations ⋮ Type inference for hierarchical multiset structures in rule-based systems ⋮ Step coverability algorithms for communicating systems ⋮ Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities ⋮ The Mutex Paradigm of Concurrency ⋮ Processes of membrane systems with promoters and inhibitors ⋮ Modeling biological gradient formation: combining partial differential equations and Petri nets
This page was built for publication:
