scientific article; zbMATH DE number 1522994
From MaRDI portal
Publication:4511269
zbMATH Open0964.68094MaRDI QIDQ4511269FDOQ4511269
Authors: Irina A. Lomazova, Philippe Schnoebelen 
Publication date: 30 October 2000
Title of this publication is not available (Why is that?)
Recommendations
- Recursive nested Petri Nets: Analysis of semantic properties and expessibility
- On Compositionality of Boundedness and Liveness for Nested Petri Nets
- Nested Petri Nets for Adaptive Process Modeling
- Nested Petri nets: Multi-level and recursive systems.
- Decidability of the Petri net reachability problem
Cited In (19)
- Nested-unit Petri nets
- Recursive nested Petri Nets: Analysis of semantic properties and expessibility
- On Petri nets with hierarchical special arcs
- On the Qualitative Analysis of Conformon P Systems
- Title not available (Why is that?)
- Data centric workflows for crowdsourcing
- Structural place invariants for analyzing the behavioral properties of nested Petri nets
- Nested Petri Nets for Adaptive Process Modeling
- Decidability and complexity of Petri nets with unordered data
- On Compositionality of Boundedness and Liveness for Nested Petri Nets
- Petri nets with non-blocking arcs are difficult to analyze
- Boundedness of adaptive nets is decidable
- Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets
- Entscheidbarkeit bei Petri Netzen
- Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
- Recursive Petri nets
- The residue of vector sets with applications to decidability problems in Petri nets
- Title not available (Why is that?)
- On freeze LTL with ordered attributes
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4511269)
