Marking Estimation in a Class of Time Labeled Petri Nets
From MaRDI portal
Cited in
(7)- Probabilistic Marking Estimation in Labeled Petri Nets
- Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions
- Dynamic compensator design and \(H_\infty\) admissibilization for delayed singular jump systems via Moore-Penrose generalized inversion technique
- State estimation in labeled time Petri net systems using observed modified state class graph
- On the verification of detectability for timed discrete event systems
- Verification of current-state opacity and opaque time for labeled time Petri net systems
- A survey on performance evaluations in time-dependent Petri nets
This page was built for publication: Marking Estimation in a Class of Time Labeled Petri Nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5125455)