scientific article; zbMATH DE number 1522994

zbMath0964.68094MaRDI QIDQ4511269

Irina A. Lomazova, Philippe Schnoebelen

Publication date: 30 October 2000

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

zbMATH Keywords

nested Petri nets

Mathematics Subject Classification ID

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

Related Items (8)

Data Centric Workflows for Crowdsourcing ⋮ Boundedness of adaptive nets is decidable ⋮ Recursive Petri nets ⋮ Decidability and complexity of Petri nets with unordered data ⋮ On the Qualitative Analysis of Conformon P Systems ⋮ Nested Petri Nets for Adaptive Process Modeling ⋮ On Freeze LTL with Ordered Attributes ⋮ Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets

This page was built for publication: