scientific article

zbMath1052.68091MaRDI QIDQ2775865

Irina A. Lomazova

Publication date: 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

decidabilitywell-structured transition systemshierarchical multi-agent systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets ⋮ Dynamic Recursive Petri Nets ⋮ Nested-unit Petri nets ⋮ Petri nets with name creation for transient secure association ⋮ Nested Petri Nets for Adaptive Process Modeling ⋮ Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets ⋮ Coding Mobile Synchronizing Petri Nets into Rewriting Logic

This page was built for publication: