Decidability and complexity of Petri nets with unordered data
From MaRDI portal
Analysis of algorithms and problem complexity (68Q25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
- Decidability problems in Petri nets with names and replication
- Coverability trees for Petri nets with unordered data
- Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication
- Accelerations for the coverability set of Petri nets with names
- Nets with tokens which carry data
Cites work
- scientific article; zbMATH DE number 5506900 (Why is no real title available?)
- scientific article; zbMATH DE number 3914378 (Why is no real title available?)
- scientific article; zbMATH DE number 1223710 (Why is no real title available?)
- scientific article; zbMATH DE number 1302043 (Why is no real title available?)
- scientific article; zbMATH DE number 559221 (Why is no real title available?)
- scientific article; zbMATH DE number 1515290 (Why is no real title available?)
- scientific article; zbMATH DE number 1522994 (Why is no real title available?)
- scientific article; zbMATH DE number 1884408 (Why is no real title available?)
- scientific article; zbMATH DE number 1405652 (Why is no real title available?)
- A calculus of mobile processes. I
- A classification of the expressive power of well-structured transition systems
- Algorithmic analysis of programs with well quasi-ordered domains.
- Applications and Theory of Petri Nets 2004
- Applications and Theory of Petri Nets 2005
- Constraint-based automatic verification of abstract models of multithreaded programs
- Cost soundness for priced resource-constrained workflow nets
- Decidability problems in Petri nets with names and replication
- Decidability problems of a basic class of object nets
- Forward Analysis for WSTS, Part II: Complete WSTS
- Forward analysis for Petri nets with name creation
- Forward analysis for WSTS. I: Completions
- Instance Deadlock: A Mystery behind Frozen Programs
- Mobile ambients
- Nets with tokens which carry data
- On the expressiveness of communication channels for object nets
- On the expressiveness of mobile synchronizing Petri nets
- Petri Nets as Token Objects
- Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets
- The reachability problem for object nets
- Well-structured transition systems everywhere!
Cited in
(31)- Forward analysis for Petri nets with name creation
- Multiset rewriting for the verification of depth-bounded processes with name binding
- Decidability problems in Petri nets with names and replication
- WQO dichotomy for 3-graphs
- A Non-Deterministic Multiset Query Language
- Nets with Tokens Which Carry Data
- Undecidability of coverability and boundedness for timed-arc Petri nets with invariants
- From DB-nets to Coloured Petri Nets with Priorities
- Petri nets with name creation for transient secure association
- Coverability trees for Petri nets with unordered data
- Petri nets with structured data
- Accelerations for the coverability set of Petri nets with names
- Continuous reachability for unordered data Petri nets is in PTime
- Dynamic networks of timed Petri nets
- A theory of name boundedness
- SMT-based verification of data-aware processes: a model-theoretic approach
- The ordinal-recursive complexity of timed-arc Petri nets, data nets, and other enriched nets
- The emptiness problem for valence automata or: another decidable extension of Petri nets
- Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication
- Model checking Petri nets with names using data-centric dynamic systems
- The complexity of coverability in \(\nu\)-Petri nets
- The ideal view on Rackoff's coverability technique
- Ordinal recursive complexity of unordered data nets
- Nets with tokens which carry data
- Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
- Soundness verification of data-aware process models with variable-to-variable conditions
- WQO dichotomy for 3-graphs
- Linear equations with ordered data
- Correctness Notions for Petri Nets with Identifiers
- Data and process resonance. Identifier soundness for models of information systems
- Replicated Ubiquitous Nets
This page was built for publication: Decidability and complexity of Petri nets with unordered data
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q554219)
