Old Web
English
Sign In
Acemap
>
Paper
>
On–The–Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets
On–The–Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets
2018
Ben Li
Manel Khlif-Bouassida
Armand Toguyeni
Keywords:
Mathematics
Discrete mathematics
Petri net
Mathematical optimization
Bounded function
On the fly
discrete event system
Theoretical computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
19
References
6
Citations
NaN
KQI
[]