Translating DEMO Models into Petri Net.

Zuzana Vejrazkova, Amir Meshkat

Browse the full CaiSE paper archive.