scientific article; zbMATH DE number 1538050

MaRDI QIDQ4518906zbMATH OpenFDO

Authors Giorgio Delzanno, Jean-François Raskin

Publication date 3 December 2000

zbMATH Keywords

broadcast protocolscontrol state reachability problemlossy Petri netsPetri netsvector addition system

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

(6)

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

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)