Nested Petri nets: Multi-level and recursive systems.

MaRDI QIDQ2775865zbMATH OpenFDO

Authors Irina A. Lomazova

Publication date 2001

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

decidabilityhierarchical multi-agent systemswell-structured transition systems

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1515290
• scientific article; zbMATH DE number 1799520
• Three level Petri nets
• Nested Petri Nets for Adaptive Process Modeling
• Recursive nested Petri Nets: Analysis of semantic properties and expessibility

Cited in

(15)

• Recursive nested Petri Nets: Analysis of semantic properties and expessibility
• Automatic construction of systems of distributed components from nested Petri nets models
• Nested-unit Petri nets
• Petri nets with name creation for transient secure association
• Structural place invariants for analyzing the behavioral properties of nested Petri nets
• Coding mobile synchronizing Petri nets into rewriting logic
• Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets
• scientific article; zbMATH DE number 1799520 (Why is no real title available?)
• Nested Nets for Adaptive Systems
• scientific article; zbMATH DE number 4055006 (Why is no real title available?)
• scientific article; zbMATH DE number 1522994 (Why is no real title available?)
• Dynamic Recursive Petri Nets
• On the use of SPIN for studying the behavior of nested Petri nets
• Nested Petri Nets for Adaptive Process Modeling
• Three level Petri nets

This page was built for publication: Nested Petri nets: Multi-level and recursive systems.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2775865)