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]
@inproceedings{BarrosG14,
title = {Towards the use of Place/Transition net tools for analysis of IOPT models},
author = {João Paulo Barros and Luis Gomes},
year = {2014},
doi = {10.1109/ISIE.2014.6864774},
url = {https://doi.org/10.1109/ISIE.2014.6864774},
researchr = {https://researchr.org/publication/BarrosG14},
cites = {0},
citedby = {0},
pages = {1141-1146},
booktitle = {IEEE 23rd International Symposium on Industrial Electronics, ISIE 2014, Istanbul, Turkey, June 1-4, 2014},
publisher = {IEEE},
}