scientific article; zbMATH DE number 1538050

MaRDI QIDQ4518906zbMATH OpenFDO

Authors Giorgio Delzanno, Jean-François Raskin

Publication date 3 December 2000

zbMATH Keywords

Petri netsvector addition systembroadcast protocolscontrol state reachability problemlossy Petri nets

Mathematics Subject Classification ID

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

Recommendations

• A new symbolic representation for the algebra of sets
• scientific article; zbMATH DE number 490856
• Uniform symbolic topologies and finite extensions
• On minimal elements of upward-closed sets
• Symbolic representations of iterated maps
• Closed sets and operators thereon: representations, computability and complexity
• scientific article; zbMATH DE number 1522019
• Representations for the largest extension of a closure system
• scientific article; zbMATH DE number 1428718
• Cardinal Representations for Closures and Preclosures

Cited in

(5)

• Multi-weighted reachability games
• Monotonic extensions of Petri nets: forward and backward search revisited
• Tools and Algorithms for the Construction and Analysis of Systems
• Well-structured transition systems everywhere!
• A new approach to upward-closed set backward reachability analysis

Describes a project that uses

Uses Software

• HyTech

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