Conference Proceedings

The Biconnected Verification of Workflow Nets

Artem Polyvyanyy, Matthias Weidlich, Mathias Weske, R Meersman, T Dillon, P Herrero

ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT I | SPRINGER-VERLAG BERLIN | Published : 2010