메뉴 건너뛰기




Volumn 38, Issue 6, 2008, Pages 1325-1336

Firing sequences estimation in vector space over Z3 for ordinary Petri nets

Author keywords

Discrete event systems (DES); Events estimation; Petri net (PN) models

Indexed keywords

ELECTRIC FAULT CURRENTS; GRAPH THEORY; MARINE BIOLOGY; PETRI NETS; VECTORS;

EID: 56449106720     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2008.2003462     Document Type: Article
Times cited : (12)

References (17)
  • 2
    • 84891444515 scopus 로고    scopus 로고
    • R. David and H. Alla, Discrete, Continuous and Hybrid Petri Nets. New York: Springer-Verlag, 2005.
    • R. David and H. Alla, Discrete, Continuous and Hybrid Petri Nets. New York: Springer-Verlag, 2005.
  • 3
    • 0036741895 scopus 로고    scopus 로고
    • Observability of place/transition nets
    • Sep
    • A. Giua and C. Seatzu, "Observability of place/transition nets," IEEE Trans. Autom. Control, vol. 47, no. 9, pp. 1424-1437, Sep. 2002.
    • (2002) IEEE Trans. Autom. Control , vol.47 , Issue.9 , pp. 1424-1437
    • Giua, A.1    Seatzu, C.2
  • 4
    • 0003792312 scopus 로고
    • Englewood Cliffs, NJ: Prentice-Hall
    • T. Kailath, Linear Systems. Englewood Cliffs, NJ: Prentice-Hall, 1980.
    • (1980) Linear Systems
    • Kailath, T.1
  • 5
    • 33645859572 scopus 로고    scopus 로고
    • About estimation problems with Petri net models for fault detection and isolation with discrete event and hybrid systems
    • Nov, Beograd, Serbia and Montenegro
    • D. Lefebvre, "About estimation problems with Petri net models for fault detection and isolation with discrete event and hybrid systems," in Proc. SAUM, Nov. 2004, pp. 42-51. Beograd, Serbia and Montenegro.
    • (2004) Proc. SAUM , pp. 42-51
    • Lefebvre, D.1
  • 6
    • 0035329425 scopus 로고    scopus 로고
    • Firing and enabling sequences estimation for timed Petri nets
    • May
    • D. Lefebvre and A. El Moudni, "Firing and enabling sequences estimation for timed Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 31, no. 3, pp. 153-162, May 2001.
    • (2001) IEEE Trans. Syst., Man, Cybern. A, Syst., Humans , vol.31 , Issue.3 , pp. 153-162
    • Lefebvre, D.1    El Moudni, A.2
  • 7
    • 33846318841 scopus 로고    scopus 로고
    • Diagnosis of DES with Petri net models
    • Jan
    • D. Lefebvre and C. Delherm, "Diagnosis of DES with Petri net models," IEEE Trans. Autom. Sci. Eng., vol. 4, no. 1, pp. 114-118, Jan. 2007.
    • (2007) IEEE Trans. Autom. Sci. Eng , vol.4 , Issue.1 , pp. 114-118
    • Lefebvre, D.1    Delherm, C.2
  • 9
    • 56449089676 scopus 로고    scopus 로고
    • Lausanne, Switzerland: Presses Polytechniques et Universitaires Romandes
    • B. Martin, Codage, Cryptologie et Applications. Lausanne, Switzerland: Presses Polytechniques et Universitaires Romandes, 2004.
    • (2004) Codage, Cryptologie et Applications
    • Martin, B.1
  • 10
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and applications
    • Apr
    • T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
    • (1989) Proc. IEEE , vol.77 , Issue.4 , pp. 541-580
    • Murata, T.1
  • 11
    • 18844469131 scopus 로고    scopus 로고
    • Observability of discrete event systems modeled by interpreted Petri nets
    • Aug
    • A. Ramirez-Trevino, I. Rivera-Rangel, and E. Lopez-Mellado, "Observability of discrete event systems modeled by interpreted Petri nets," IEEE Trans. Robot. Autom., vol. 19, no. 4, pp. 557-565, Aug. 2003.
    • (2003) IEEE Trans. Robot. Autom , vol.19 , Issue.4 , pp. 557-565
    • Ramirez-Trevino, A.1    Rivera-Rangel, I.2    Lopez-Mellado, E.3
  • 12
  • 13
    • 8344220389 scopus 로고    scopus 로고
    • On fluidification of Petri Nets: From Discrete to hybrid and continuous models
    • M. Silva and L. Recalde, "On fluidification of Petri Nets: From Discrete to hybrid and continuous models," Annu. Rev. Control, vol. 28, no. 2, pp. 253-266, 2004.
    • (2004) Annu. Rev. Control , vol.28 , Issue.2 , pp. 253-266
    • Silva, M.1    Recalde, L.2
  • 14
    • 19744373910 scopus 로고    scopus 로고
    • Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling
    • Jul
    • C. Tolba, D. Lefebvre, P. Thomas, and A. El Moudni, "Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling," Simul. Modelling Practice Theory, vol. 13, no. 5, pp. 407-436, Jul. 2005.
    • (2005) Simul. Modelling Practice Theory , vol.13 , Issue.5 , pp. 407-436
    • Tolba, C.1    Lefebvre, D.2    Thomas, P.3    El Moudni, A.4
  • 15
    • 0032258770 scopus 로고    scopus 로고
    • Fault detection based on Petri net models with faulty behaviors
    • Dec
    • T. Ushio, I. Onishi, and K. Okuda, "Fault detection based on Petri net models with faulty behaviors," in Proc. IEEE SMC, Dec. 1998, pp. 113-118.
    • (1998) Proc. IEEE SMC , pp. 113-118
    • Ushio, T.1    Onishi, I.2    Okuda, K.3
  • 16
    • 0009598647 scopus 로고    scopus 로고
    • Introduction to Coding Theory
    • New York: Springer-Verlag
    • J. H. Van Lint, Introduction to Coding Theory (Graduate Texts in Mathematics), vol. 86. New York: Springer-Verlag, 1999.
    • (1999) Graduate Texts in Mathematics , vol.86
    • Van Lint, J.H.1
  • 17
    • 30344456403 scopus 로고    scopus 로고
    • Algebraic approaches for fault identification in discrete event systems
    • Dec
    • Y. Wu and C. N. Hadjicostis, "Algebraic approaches for fault identification in discrete event systems," IEEE Trans. Autom. Control, vol. 50, no. 12, pp. 2048-2053, Dec. 2005.
    • (2005) IEEE Trans. Autom. Control , vol.50 , Issue.12 , pp. 2048-2053
    • Wu, Y.1    Hadjicostis, C.N.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.