scientific article; zbMATH DE number 5506900

MaRDI QIDQ3601864zbMATH OpenFDO

Authors Fernando Rosa-Velardo, David de Frutos Escrig

Publication date 12 February 2009

Mathematics Subject Classification ID

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

Recommendations

• Name Creation vs. Replication in Petri Net Systems
• Decidability problems in Petri nets with names and replication
• Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication
• Petri nets with name creation for transient secure association
• Forward analysis for Petri nets with name creation
• The consistent use of names and polymorphism in the definition of object Petri nets
• Replicated Ambient Petri Nets
• Model checking Petri nets with names using data-centric dynamic systems
• Behaviour and instantiation of high-level Petri net processes

Cited in

(10)

• Petri nets with name creation for transient secure association
• Model checking Petri nets with names using data-centric dynamic systems
• Name Creation vs. Replication in Petri Net Systems
• Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication
• Hornets: Nets within Nets Combined with Net Algebra
• Inferring unobserved events in systems with shared resources and queues
• Dynamic networks of timed Petri nets
• Decidability and complexity of Petri nets with unordered data
• Describing Behavior of Processes with Many-to-Many Interactions
• Multiset rewriting for the verification of depth-bounded processes with name binding

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 Q3601864)