@inproceedings{e8f9fc812e1e4c2496139a2ba63698a9,
title = "An optimization approach towards improved petri net monitor design",
abstract = "Basile et al. synthesizes a Petri net monitor with the least implementation cost through integer programming formulations. Despite its technical correctness, their method may lead to undesirable results when the net structure contains some shared or unshared resource places as often seen in manufacturing oriented Petri net models. This paper analyzes and resolves such an issue by proposing an improved monitor design method.",
author = "Hu, {He Suan} and Zhou, {Meng Chu} and Li, {Zhi Wu}",
year = "2010",
doi = "10.1109/ICMA.2010.5588691",
language = "English (US)",
isbn = "9781424451418",
series = "2010 IEEE International Conference on Mechatronics and Automation, ICMA 2010",
pages = "1802--1806",
booktitle = "2010 IEEE International Conference on Mechatronics and Automation, ICMA 2010",
note = "2010 IEEE International Conference on Mechatronics and Automation, ICMA 2010 ; Conference date: 04-08-2010 Through 07-08-2010",
}