A configurable state class method for temporal analysis of time petri nets

Li Pan, Zhi Jun Ding, Meng Chu Zhou

Research output: Contribution to journalArticlepeer-review

33 Scopus citations

Fingerprint

Dive into the research topics of 'A configurable state class method for temporal analysis of time petri nets'. Together they form a unique fingerprint.

Keyphrases

Computer Science