Towards the verification of scenarios with time Petri-nets

Jonathan Lee, Jiann I. Pan, Jong Yih Kuo, Yong Yi Fanjiang, Stephen Yang

Research output: Contribution to journalConference articlepeer-review

4 Scopus citations

Fingerprint

Dive into the research topics of 'Towards the verification of scenarios with time Petri-nets'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Engineering