DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets.

Daniel Moldt, Jan Ortmann

Browse the full FASE paper archive.