scientific article; zbMATH DE number 1538050

zbMATH Open0961.68096MaRDI QIDQ4518906FDOQ4518906

Authors: Giorgio Delzanno, Jean-François Raskin 

Publication date: 3 December 2000

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

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

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)