# Diagnosability of Event Patterns in Safe Labeled Time Petri Nets: A Model-Checking Approach

> Research article (IEEE Transactions on Automation Science and Engineering, 2021) · cited 33× · AI/ML

**Wikidata**: [openalex:W3119887256](https://www.wikidata.org/wiki/openalex:W3119887256)  
**Source**: https://4ort.xyz/entity/diagnosability-of-event-patterns-in-safe-labeled-time-petri-nets-a-model-checking-approach