Martin Podloucký, Robert Pergl. The Prefix Machine - a Formal Foundation for the BORM OR Diagrams Validation and Simulation. In Joseph Barjis, Robert Pergl, editors, Enterprise and Organizational Modeling and Simulation - 10th International Workshop, EOMAS 2014, Held at CAiSE 2014, Thessaloniki, Greece, June 16-17, 2014, Selected Papers. Volume 191 of Lecture Notes in Business Information Processing, pages 113-131, Springer, 2014. [doi]
Abstract is missing.