scientific article
From MaRDI portal
Publication:3425598
zbMath1105.68086MaRDI QIDQ3425598
Publication date: 26 February 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Control/observation systems involving computers (process control, etc.) (93C83) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (7)
Automatic construction of systems of distributed components from nested Petri nets models ⋮ Modelling multiagent systems with the help of generalized nets of active resources ⋮ Transformations of fuzzy graphs specified by FD-grammars ⋮ Formalization of semantics of systems with unreliable agents by means of nets of active resources ⋮ Paradigm of computations on the Petri nets ⋮ Nested Petri Nets for Adaptive Process Modeling ⋮ Coordination of parallel partially ordered processes
This page was built for publication:
