Deadlock detection-oriented unfolding of unbounded Petri nets. | 0 | 0.34 | 2019 |
A Semantic User Distance Metric Using GPS Trajectory Data. | 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 |
Towards Comprehensive Support for Privacy Preservation Cross-organization Business Process Mining | 2 | 0.37 | 2019 |
A Semi-Empirical Model Of Sea Clutter Based On Zero Memory Nonlinearity. | 0 | 0.34 | 2019 |
E-Net Modeling and Analysis of Emergency Response Processes Constrained by Resources and Uncertain Durations | 9 | 0.51 | 2015 |
Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets | 12 | 0.60 | 2015 |
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 |
Domain Ontology Design and Reasoning for Resource Matchmaking in Emergency Response Systems | 0 | 0.34 | 2012 |
Proposal of ontology for resource matchmaking schema in emergency response systems | 0 | 0.34 | 2011 |