Discrete Parameters in Petri Nets
From MaRDI portal
Publication:2941148
DOI10.1007/978-3-319-19488-2_7zbMath1432.68303MaRDI 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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Cites Work