Charles Lesire, Catherine Tessier. Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty. In Gianfranco Ciardo, Philippe Darondeau, editors, Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings. Volume 3536 of Lecture Notes in Computer Science, pages 329-348, Springer, 2005. [doi]
Abstract is missing.