Modeling discrete-event systems with constraints

Lothar Seybold, Piotr Witczak, Pawel Majdzik. Modeling discrete-event systems with constraints. In 18th International Conference on Methods & Models in Automation & Robotics, MMAR 2013, Miedzyzdroje, Poland, August 26-29, 2013. pages 789-793, IEEE, 2013. [doi]

Abstract

Abstract is missing.