scientific article; zbMATH DE number 1538050

zbMATH Open0961.68096MaRDI QIDQ4518906FDOQ4518906

Jean-François Raskin, Giorgio Delzanno

Publication date: 3 December 2000

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

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 (3)

• Well-structured transition systems everywhere!
• Multi-weighted reachability games
• Monotonic extensions of Petri nets: forward and backward search revisited

Uses Software

• HyTech

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Uniform symbolic topologies and finite extensions 👍 👎
• Symbolic representations of iterated maps 👍 👎
• On minimal elements of upward-closed sets 👍 👎
• Cardinal Representations for Closures and Preclosures 👍 👎
• A new symbolic representation for the algebra of sets 👍 👎
• Closed Sets and Operators thereon: Representations, Computability and Complexity 👍 👎
• Representations for the largest extension of a closure system 👍 👎

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)