Diagnosis using unfoldings of parametric time petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6246 LNCS, Issue , 2010, Pages 137-151

  Grabiec, Bartosz ^b   Traonouez, Louis Marie ^c   Jard, Claude ^b   Lime, Didier ^a   Roux, Olivier H ^a  

^a ECOLE CENTRALE DE NANTES   (France)

^b UNIVERSITÉ EUROPÉENNE DE BRETAGNE   (France)

^c UNIVERSITY OF FLORENCE   (Italy)

Author keywords

diagnosis; parameters; supervision; Time Petri Nets; Unfolding

Indexed keywords

CAUSAL RELATIONS; DISTRIBUTED SYSTEMS; ON-LINE DIAGNOSIS; PARAMETERS; PARAMETRIC CONSTRAINTS; PARTIAL OBSERVATION; SUPERVISION; TIME PARAMETER; TIME PETRI NETS; UNFOLDING; UNFOLDINGS;

PETRI NETS; TIME SHARING SYSTEMS;

GRAPH THEORY;

EID: 78049356800     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15297-9_12     Document Type: Conference Paper

References (16)

1. Roméo - a tool for time Petri nets analysis, http://romeo.rts- software.org
2. Aura, T., Lilius, J.: A causal semantics for time Petri nets. Theoretical Computer Science 243(2), 409-447 (2000)
3. Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE trans. on Soft. Eng. 17(3), 259-273 (1991)
4. Cassandras, C. G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer, Heidelberg (2008)
5. Chatain, T., Jard, C.: Time supervision of concurrent systems using symbolic unfoldings of time Petri nets. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol. 3829, pp. 196-210. Springer, Heidelberg (2005)
6. Chatain, T., Jard, C.: Complete finite prefixes of symbolic unfoldings of safe time Petri nets. In: Donatelli, S., Thiagarajan, P. S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 125-145. Springer, Heidelberg (2006)
7. Esparza, J., Heljanko, K.: Unfoldings, A Partial-Order Approach to Model Checking. Monographs in Theoretical Computer Science. Springer, Heidelberg (2008)
8. Fabre, E., Benveniste, A., Haar, S., Jard, C.: Distributed monitoring of concurrent and asynchronous systems. Journal of Discrete Event Systems, special issue 5, 33-84 (2005)
9. Giua, A.: Petri net state estimators based on event observation. In: Proceedings of the IEEE ICDC, pp. 4086-4091 (1997)
10. Jessen, J. K., Rasmussen, J. I., Larsen, K. G., David, A.: Guided controller synthesis for climate controller using uppaal-tiga. In: Raskin, J.-F., Thiagarajan, P. S. (eds.) FORMATS 2007. LNCS, vol. 4763, pp. 227-240. Springer, Heidelberg (2007)
11. Lime, D., Roux, O. H., Seidner, C., Traonouez, L.-M.: Romeo: A parametric modelchecker for Petri nets with stopwatches. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol. 5505, pp. 54-57. Springer, Heidelberg (2009)
12. McMillan, K. L.: Using unfolding to avoid the state space explosion problem in the verification of asynchronous circuits. In: Probst, D. K., von Bochmann, G. (eds.) CAV 1992. LNCS, vol. 663, pp. 164-177. Springer, Heidelberg (1993)
13. Merlin, P. M.: A study of the recoverability of computing systems. PhD thesis, Dep. of Information and Computer Science, University of California, Irvine, CA (1974)
14. Traonouez, L. M.: Vérification et dépliages de réseaux de Petri temporels paramétrés. PhD thesis, Ecole centrale de Nantes (2009), http://www.irccyn.ec-nantes.fr/~traonoue/ publications/these.pdf
15. Traonouez, L. M., Grabiec, B., Jard, C., Lime, D., Roux, O. H.: Symbolic unfolding of parametric stopwatch petri nets. In: 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010). LNCS, vol. 6252. Springer, Heidelberg (2010)
16. Ushio, T., Onishi, I., Okuda, K.: Fault detection based on Petri net models with faulty behaviors. In: Proceedings of the IEEE Int. Conf. on Systems, Man, and Cybernetics, pp. 113-118 (1998)