{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:09:36Z","timestamp":1762520976389},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,3,1]],"date-time":"2005-03-01T00:00:00Z","timestamp":1109635200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2005,3]]},"DOI":"10.1007\/s10626-005-5239-4","type":"journal-article","created":{"date-parts":[[2005,2,15]],"date-time":"2005-02-15T13:51:41Z","timestamp":1108475501000},"page":"85-108","source":"Crossref","is-referenced-by-count":37,"title":["State Estimation of ?-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*"],"prefix":"10.1007","volume":"15","author":[{"given":"Alessandro","family":"Giua","sequence":"first","affiliation":[]},{"given":"Daniele","family":"Corona","sequence":"additional","affiliation":[]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Benasser, A. 2000. In Reachability in Petri nets: an approach based on constraint programming, (Ph.D. Thesis), France, Universit\u00e9 de Lille, (in French)."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Caines, P. E., and Wang, S. 1989. Classical and logic based regulator design and its complexity for partially observed automata. In 28th Int. Conf. Decis. Control, Tampa, Florida, pp. 132?137.","DOI":"10.1109\/CDC.1989.70090"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Caines, P. E., Greiner, R., and Wang, S. 1988. Dynamical logic observers for finite automata. In 27th Conf. Decis. Control, Austin, Texas, pp. 226?233.","DOI":"10.1109\/CDC.1988.194300"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Gaubert, S., and Giua, A. 1999. Petri net languages and infinite subsets of $$\\mathbb{N}^{m} $$ . J. Comp. Syst. Sci. 59(3): 373?391.","DOI":"10.1006\/jcss.1999.1634"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Giua, A., and Seatzu, C. 2002. Observability of place\/transition nets. IEEE Trans. Automat. Contr. 47(9): 1424?1437.","DOI":"10.1109\/TAC.2002.802769"},{"key":"CR6","unstructured":"Giua, A., J\u00falvez, J., and Seatzu, C. 2003. Marking estimation of Petri nets with ?-free labeling. In Proc. Workshop on Discrete Event Systems Control, Eindhoven, The Netherlands, pp. 75?95. Workshop Revised version: ?Marking estimation of Petri nets with pairs of nondeterministic transitions.? Asian J. Control, Special Issue on the ?Control of Discrete Event Systems? 6(2): 270?280, 2004."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Giua, A., Seatzu, C., and Basile, F. 2004a. Observer based state-feedback control of timed Petri nets with deadlock recovery. IEEE Trans. Automat. Contr. 49(1): 17?29.","DOI":"10.1109\/TAC.2003.821419"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Giua, A., Corona, D., and Seatzu, C. 2004b. Marking estimation of Petri nets with silent transitions. 2004 IEEE Int. Conf. Decis. Control (to appear).","DOI":"10.1109\/CDC.2004.1428810"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Kumar, R., Garg, V., and Markus, S. I. 1993. Predicates and predicate transformers for supervisory control of discrete event dynamical systems. IEEE Trans. Automat. Contr. 38(2): 232?247.","DOI":"10.1109\/9.250512"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Meda, M. E., Ram\u00edrez, A., and Malo, A. 1998. Identification in discrete event systems. In IEEE Int. Conf. Syst. Man Cybern., San Diego, California, pp. 740?745.","DOI":"10.1109\/ICSMC.1998.725502"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Murata, T. 1989. Petri nets: Properties, analysis and applications. Proc. IEEE 77(4): 541?580.","DOI":"10.1109\/5.24143"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"\u00d6zveren, C. M., and Willsky, A. S. 1990. Observability of discrete event dynamic systems. IEEE Trans. Automat. Contr. 35(7): 797?806.","DOI":"10.1109\/9.57018"},{"key":"CR13","unstructured":"Peterson, J. L. 1981. Petri net theory and the modeling of systems. Prentice-Hall, 1981."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Ramadge, P. J. 1986. Observability of discrete-event systems. In 25th Int. Conf. Decis. Contr., Athens, Greece, pp. 1108?1112.","DOI":"10.1109\/CDC.1986.267551"},{"key":"CR15","unstructured":"Zhang, L., and Holloway, L. E. 1995. Forbidden state avoidance in controlled Petri nets under partial observation. In 33rd Allerton Conf., Monticello, Illinois, pp. 146?155."}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-005-5239-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-005-5239-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-005-5239-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T19:42:34Z","timestamp":1586115754000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-005-5239-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,3]]}},"alternative-id":["5385239"],"URL":"https:\/\/doi.org\/10.1007\/s10626-005-5239-4","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,3]]}}}