Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets
暂无分享,去创建一个
[1] Charles Lesire,et al. Estimation and Conflict Detection in Human Controlled Systems , 2006, HSCC.
[2] Charles Lesire,et al. Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty , 2005, ICATPN.
[3] Peter Huber,et al. Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.
[4] Giorgio De Michelis,et al. Application and Theory of Petri Nets 1995 , 1995 .
[5] Gianfranco Ciardo,et al. Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings , 2005, ICATPN.
[6] Kurt Jensen. Application and Theory of Petri Nets 1992 , 1992, Lecture Notes in Computer Science.
[7] Laure Petrucci,et al. Towards a Modular Analysis of Coloured Petri Nets , 1992 .
[8] Olivier Bonnet-Torrés,et al. From team plan to individual plans: a petri net-based approach , 2005, AAMAS '05.
[9] Charles Lakos,et al. From Coloured Petri Nets to Object Petri Nets , 1995, Application and Theory of Petri Nets.
[10] Thomas A. Henzinger,et al. Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.