Deadlock detection-oriented unfolding of unbounded Petri nets. | 0 | 0.34 | 2019 |
Survey of Methods for Time Series Symbolic Aggregate Approximation. | 0 | 0.34 | 2019 |
Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets. | 4 | 0.40 | 2019 |
Hierarchy Modeling and Formal Verification of Emergency Treatment Processes. | 5 | 0.45 | 2014 |
Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets. | 0 | 0.34 | 2012 |
Recurrent lobes reduction of stepped-frequency LFM pulse train using ambiguity function. | 1 | 0.46 | 2009 |