João Paulo Barros, Luis Gomes. Towards the use of Place/Transition net tools for analysis of IOPT models. In IEEE 23rd International Symposium on Industrial Electronics, ISIE 2014, Istanbul, Turkey, June 1-4, 2014. pages 1141-1146, IEEE, 2014. [doi]
Abstract is missing.