Discrete Parameters in Petri Nets

DOI10.1007/978-3-319-19488-2_7zbMath1432.68303OpenAlexW1006683501MaRDI QIDQ2941148

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

Publication date: 27 August 2015

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-19488-2_7

zbMATH Keywords

parametersPetri netcoverability

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

Cites Work

• Some decision problems related to the reachability problem for Petri nets
• Complexity of some problems in Petri nets
• A symbolic reachability graph for coloured Petri nets
• Parallel program schemata
• Parametric real-time reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Discrete Parameters in Petri Nets