Automatic construction of systems of distributed components from nested Petri nets models

DOI10.1134/S0361768816050029zbMath1452.68242OpenAlexW2519637596MaRDI QIDQ2216722

L. W. Dworzanski, Irina A. Lomazova

Publication date: 16 December 2020

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0361768816050029

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Agent technology and artificial intelligence (68T42)

Uses Software

• GitHub

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A general framework for architecture composability
• Formalization of test experiments
• Modelling of batch production systems using Petri nets with dynamic tokens
• Formalization of a test experiment. II
• Infinite trace equivalence
• A Process Algebra for Wireless Mesh Networks
• Coloured Petri Nets
• Nested Nets for Adaptive Systems
• On Compositionality of Boundedness and Liveness for Nested Petri Nets
• Understanding Petri Nets
• On the Use of SPIN for Studying the Behavior of Nested Petri Nets
• Nested Petri Nets for Adaptive Process Modeling
• Liveness, Fairness and Impossible Futures

This page was built for publication: Automatic construction of systems of distributed components from nested Petri nets models