A Petri net-based model for verification of obligations and accountability in cooperative systems

Yu Yue Du, Chang Jun Jiang, Meng Chu Zhou

Research output: Contribution to journalArticlepeer-review

69 Scopus citations

Fingerprint

Dive into the research topics of 'A Petri net-based model for verification of obligations and accountability in cooperative systems'. Together they form a unique fingerprint.

Keyphrases

Computer Science