Basis coverability graph for partially observable Petri nets with application to diagnosability analysis
From MaRDI portal
Publication:2280186
DOI10.1007/978-3-319-91268-4_9zbMath1427.68202MaRDI QIDQ2280186
Alessandro Giua, Engel Lefaucheux, Carla Seatzu
Publication date: 18 December 2019
Full work available at URL: https://hal.inria.fr/hal-01882129/file/covgraph.pdf
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items