scientific article; zbMATH DE number 7204931

DOI10.4230/LIPIcs.CONCUR.2017.14zbMath1442.68133MaRDI QIDQ5111627

Claude Jard, Olivier H. Roux, Didier Lime, Nicolas David

Publication date: 27 May 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

parameterssynthesisunboundednessPetri netcoverability

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On selective unboundedness of VASS
• The residue of vector sets with applications to decidability problems in Petri nets
• Decision problems for lower/upper bound parametric timed automata
• Relationships between nondeterministic and deterministic tape complexities
• Parallel program schemata
• ω-Petri Nets: Algorithms and Complexity
• Discrete Parameters in Petri Nets
• Branching Processes of General Petri Nets
• Forward Analysis for WSTS, Part II: Complete WSTS
• Parametric real-time reasoning
• Integer Parameter Synthesis for Timed Automata

This page was built for publication: