{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:21:16Z","timestamp":1761488476517},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540263012"},{"type":"electronic","value":"9783540315599"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11494744_19","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T02:31:09Z","timestamp":1279074669000},"page":"329-348","source":"Crossref","is-referenced-by-count":13,"title":["Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty"],"prefix":"10.1007","author":[{"given":"Charles","family":"Lesire","sequence":"first","affiliation":[]},{"given":"Catherine","family":"Tessier","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Callantine, T.: Activity tracking for pilot error detection from flight data. In: EAM 2002, Glasgow, UK (2002)"},{"key":"19_CR2","unstructured":"Dehais, F., Tessier, C., Chaudron, L.: GHOST: experimenting conflicts countermeasures in the pilot\u2019s activity. In: IJCAI 2003, Acapulco, Mexico (2003)"},{"key":"19_CR3","unstructured":"Wiegmann, D., Shappel, S.: Applying the human factors analysis and classification system (HFACS) to the analysis of commercial aviation accident data. In: Aviation Psychology, Colombus, OH (2001)"},{"key":"19_CR4","unstructured":"Song, L., Kuchar, K.: Describing, predicting, and mitigating dissonance between alerting systems. In: Human Error, Safety, and System Development, Link\u00f6ping, Sweden (2001)"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Ruckdeschel, W., Onken, R.: Modelling of pilot behaviour using Petri nets. In: ATPN 1994, Zaragoza, Spain (1994)","DOI":"10.1007\/3-540-58152-9_24"},{"key":"19_CR6","unstructured":"Grastien, A., Cordier, M.-O., Largou\u00ebt, C.: Extending decentralized discrete-event modelling to diagnose reconfigurable systems. In: DX 2004, Carcassonne, France (2004)"},{"key":"19_CR7","unstructured":"Lerner, U., Moses, B., Scott, M., McIlraith, S., Koller, D.: Monitoring a complex physical system using a hybrid dynamic Bayes net. In: UAI 2002, Edmonton, AB (2002)"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Alla, H., David, R.: A modeling and analysis tool for discrete event systems \u2013 continuous Petri net. Performance Evaluation\u00a033 (1998)","DOI":"10.1016\/S0166-5316(98)00016-9"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Horton, G., Kulkarni, V., Nicol, D., Trivedi, K.: Fluid stochastic Petri nets: theory, applications and solution. Operational Research\u00a0105 (1998)","DOI":"10.1016\/S0377-2217(97)00028-3"},{"key":"19_CR10","unstructured":"Champagnat, R., Pingaud, H., Valette, R.: An extension of high-level Petri nets for modelling batch systems. In: CSCC 1999, Athens, Greece (1999)"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Villani, E., Pascal, J.C., Miyagi, P., Valette, R.: Differential predicate transition Petri nets and objects, an aid for proving properties in hybrid systems. In: ADHS 2003, Saint-Malo, France (2003)","DOI":"10.1016\/S1474-6670(17)36412-1"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Christensen, S., Petrucci, L.: Towards a modular analysis of coloured Petri nets. In: ATPN 1992, Sheffield, UK (1992)","DOI":"10.1007\/3-540-55676-1_7"},{"key":"19_CR13","unstructured":"Carpenter, J., Clifford, P., Fearnhead, P.: An improved particle filter for non-linear problems. Technical report, University of Oxford (1997)"},{"key":"19_CR14","unstructured":"Lehmann, E.: Particle filter, Ph.D. Coursework. Technical report, Australian National University (2003)"},{"key":"19_CR15","volume-title":"Timed Petri nets, theory and application","author":"J. Wang","year":"1998","unstructured":"Wang, J.: Timed Petri nets, theory and application. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Bause, F., Kritzinger, P.: Stochastic Petri nets \u2013 an introduction to the theory. Viewer Verlag (2002)","DOI":"10.1007\/978-3-322-86501-4"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Chachoua, M., Pacholczyk, D.: A symbolic approach to uncertainty management. Applied Intelligence\u00a013 (2000)","DOI":"10.1023\/A:1026572211922"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Cardoso, J., Valette, R., Dubois, D.: Possibilistic Petri nets. IEEE Trans. on Systems, Man and Cybernetics\u00a029 (1999)","DOI":"10.1109\/3477.790440"},{"key":"19_CR19","series-title":"Multiagent systems, artificial societies and simulated organizations 1","first-page":"1","volume-title":"Conflicting agents - Conflict management in multi-agent systems","author":"C. Tessier","year":"2000","unstructured":"Tessier, C., Chaudron, L., Fiorino, H., M\u00fcller, H.J.: Agents\u2019 conflicts: new issues. In: Tessier, C., Chaudron, L., M\u00fcller, H.J. (eds.) Conflicting agents - Conflict management in multi-agent systems. Multiagent systems, artificial societies and simulated organizations 1, pp. 1\u201330. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Vu, V., Br\u00e9mond, F., Thonnat, M.: Automatic video interpretation: a novel algorithm for temporal scenario recognition. In: IJCAI 2003, Acapulco, Mexico (2003)","DOI":"10.1007\/3-540-36592-3_50"},{"key":"19_CR21","unstructured":"Intille, S., Bobick, A.: Visual recognition of multi-agent action using binary temporal relations. In: CVPR 1999, Fort Collins, CO (1999)"},{"key":"19_CR22","unstructured":"Tessier, C.: Towards a commonsense estimator for activity tracking. In: AAAI Spring Symposium, Palo Alto, CA (2003)"},{"key":"19_CR23","unstructured":"Lesire, C.: A numerical\/symbolic estimator for activity tracking. A preliminary report. In: KR 2004 Doctoral Consortium, Whistler, BC (2004)"},{"key":"19_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/3-540-45757-7_24","volume-title":"Logics in Artificial Intelligence","author":"M. El-Sayed","year":"2002","unstructured":"El-Sayed, M., Pacholczyk, D.: A qualitative reasoning with nuanced information. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, p. 283. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2005"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494744_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,31]],"date-time":"2021-10-31T10:38:06Z","timestamp":1635676686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494744_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540263012","9783540315599"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11494744_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}