George Jiroveanu René K. Boel Behzad Bordbar On-Line Monitoring of Large Petri Net Models Under Partial Observation. 323-354 2008 18 Discrete Event Dynamic Systems 3 http://dx.doi.org/10.1007/s10626-007-0036-x db/journals/deds/deds18.html#JiroveanuBB08