Preserving languages and properties in stepwise refinement-based synthesis of Petri nets

Zhi Jun Ding, Chang Jun Jiang, Meng Chu Zhou, Ya Ying Zhang

Research output: Contribution to journal › Article › peer-review

27 Scopus citations

Fingerprint

Dive into the research topics of 'Preserving languages and properties in stepwise refinement-based synthesis of Petri nets'. Together they form a unique fingerprint.

Keyphrases

Engineering