scientific article; zbMATH DE number 1515290
From MaRDI portal
Publication:4507821
zbMath0965.68062MaRDI QIDQ4507821
Publication date: 10 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)
Related Items (11)
Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets ⋮ Nested-unit Petri nets ⋮ Automatic construction of systems of distributed components from nested Petri nets models ⋮ Modelling of batch production systems using Petri nets with dynamic tokens ⋮ Decidability and complexity of Petri nets with unordered data ⋮ On the Qualitative Analysis of Conformon P Systems ⋮ Nested Petri Nets for Adaptive Process Modeling ⋮ Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication ⋮ Hornets: Nets within Nets Combined with Net Algebra ⋮ Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets ⋮ Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations
This page was built for publication:
