Nested Petri nets: modeling and analysis of distributed systems with object structure
From MaRDI portal
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems involving computers (process control, etc.) (93C83)
Recommendations
Cited in
(14)- Formalization of semantics of systems with unreliable agents by means of nets of active resources
- Distributed dynamic programming using concurrent object-orientedness with actors visualized by high-level Petri nets
- Automatic construction of systems of distributed components from nested Petri nets models
- Paradigm of computations on the Petri nets
- Transformations of fuzzy graphs specified by FD-grammars
- Modelling the protocol stack in NCS with deterministic and stochastic petri net
- scientific article; zbMATH DE number 1799520 (Why is no real title available?)
- A hierarchical decomposition of decision process Petri nets for modeling complex systems
- scientific article; zbMATH DE number 1106703 (Why is no real title available?)
- scientific article; zbMATH DE number 1515290 (Why is no real title available?)
- Modelling multiagent systems with the help of generalized nets of active resources
- Nested Petri Nets for Adaptive Process Modeling
- scientific article; zbMATH DE number 5051646 (Why is no real title available?)
- Coordination of parallel partially ordered processes
This page was built for publication: Nested Petri nets: modeling and analysis of distributed systems with object structure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3425598)
