{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:12:50Z","timestamp":1762521170304},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540661320"},{"type":"electronic","value":"9783540487456"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48745-x_12","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T08:12:59Z","timestamp":1193472779000},"page":"188-207","source":"Crossref","is-referenced-by-count":52,"title":["Monitoring Discrete Event Systems Using Petri Net Embeddings"],"prefix":"10.1007","author":[{"given":"Christoforos N.","family":"Hadjicostis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George C.","family":"Verghese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,4,18]]},"reference":[{"key":"12_CR1","volume-title":"Fault-Tolerant Computation Using Algebraic Homomorphisms","author":"P. E. Beckmann","year":"1992","unstructured":"P. E. Beckmann, Fault-Tolerant Computation Using Algebraic Homomorphisms. PhD thesis, EECS Department, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1992."},{"key":"12_CR2","volume-title":"Fault-Tolerant Computation in Semigroups and Semirings","author":"C. N. Hadjicostis","year":"1995","unstructured":"C. N. Hadjicostis, \u201cFault-Tolerant Computation in Semigroups and Semirings,\u201d M. Eng. thesis, EECS Department, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1995."},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata, \u201cPetri nets: properties, analysis and applications,\u201d Proceedings of the IEEE, vol. 77, pp. 541\u2013580, April 1989.","journal-title":"Proceedings of the IEEE"},{"key":"12_CR4","unstructured":"F. Baccelli, G. Cohen, G. J. Olsder, and J. P. Quadrat, Synchronization and Linearity. New York: Wiley, 1992."},{"key":"12_CR5","volume-title":"Trends in Control: A European Prospective","author":"C. G. Cassandras","year":"1995","unstructured":"C. G. Cassandras, S. Lafortune, and G. J. Olsder, Trends in Control: A European Prospective. London: Springer-Verlag, 1995."},{"key":"12_CR6","unstructured":"C. G. Cassandras, Discrete Event Systems. Boston: Aksen Associates, 1993."},{"issue":"2","key":"12_CR7","first-page":"271","volume":"53","author":"V. Y. Fedorov","year":"1992","unstructured":"V. Y. Fedorov and V. O. Chukanov, \u201cAnalysis of the fault tolerance of complex systems by extensions of Petri nets,\u201d Automation and Remote Control, vol. 53, no. 2, pp. 271\u2013280, 1992.","journal-title":"Automation and Remote Control"},{"key":"12_CR8","first-page":"93","volume":"3","author":"J. Sifakis","year":"1979","unstructured":"J. Sifakis, \u201cRealization of fault-tolerant systems by coding Petri nets,\u201d Journal of Design Automation and Fault-Tolerant Computing, vol. 3, pp. 93\u2013107, April 1979.","journal-title":"Journal of Design Automation and Fault-Tolerant Computing"},{"key":"12_CR9","unstructured":"M. Silva and S. Velilla, \u201cError detection and correction on Petri net models of discrete events control systems,\u201d in Proceedings of the ISCAS, pp. 921\u2013924, 1985."},{"key":"12_CR10","volume-title":"Error Control Systems","author":"S. B. Wicker","year":"1995","unstructured":"S. B. Wicker, Error Control Systems. Englewood Cliffs, New Jersey: Prentice Hall, 1995."},{"key":"12_CR11","volume-title":"Coding Approaches to Fault Tolerance in Dynamic Systems","author":"C. N. Hadjicostis","year":"1999","unstructured":"C. N. Hadjicostis, Coding Approaches to Fault Tolerance in Dynamic Systems. PhD thesis, EECS Department, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1999."},{"key":"12_CR12","unstructured":"C. N. Hadjicostis and G. C. Verghese, \u201cStructured redundancy for fault tolerance in state-space models and Petri nets,\u201d Kybernetika. To appear."},{"issue":"1","key":"12_CR13","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/0005-1098(95)00103-4","volume":"32","author":"K. Yamalidou","year":"1996","unstructured":"K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis, \u201cFeedback control of Petri net based on place invariants,\u201d Automatica, vol. 32, no. 1, pp. 15\u201328, 1996.","journal-title":"Automatica"},{"key":"12_CR14","unstructured":"J. O. Moody and P. J. Antsaklis, \u201cSupervisory control using computationally efficient linear techniques: a tutorial introduction,\u201d in Proceedings of 5th Mediterranean Conference on Control and Systems, (Cyprus), July 1997."},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P. J. Ramadge","year":"1989","unstructured":"P. J. Ramadge and W. M. Wonham, \u201cThe control of discrete event systems,\u201d Proceedings of the IEEE, vol. 77, pp. 81\u201397, 1989.","journal-title":"Proceedings of the IEEE"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48745-X_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T16:19:18Z","timestamp":1551025158000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48745-X_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540661320","9783540487456"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-48745-x_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}