{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,12]],"date-time":"2025-04-12T05:26:55Z","timestamp":1744435615991},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568636"},{"type":"electronic","value":"9783540477594"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56863-8_55","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:42:30Z","timestamp":1330238550000},"page":"339-356","source":"Crossref","is-referenced-by-count":10,"title":["Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model"],"prefix":"10.1007","author":[{"given":"Luigi","family":"Portinale","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"L. Bernardinello and F. De Cindio, A survey of basic net models and modular net classes. In G. Rozemberg, editor, Advanced in Petri Nets 1992, LNCS 609, pages 304\u2013351. Springer Verlag, 1992.","DOI":"10.1007\/3-540-55610-9_177"},{"key":"20_CR2","volume-title":"Proc. 5th Int. Workshop on Modeling Techniques and Tools for Computer Performance Evaluation","author":"G. Chiola","year":"1991","unstructured":"G. Chiola. GreatSPN 1,5 software architecture. In G. Balbo and G. Serazzi, editors, Proc. 5th Int. Workshop on Modeling Techniques and Tools for Computer Performance Evaluation, Torino, 1991. North Holland."},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"K. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293\u2013322. Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"20_CR4","unstructured":"L. Console and L. Portinale. Model based diagnosis of system malfunction with Petri nets. In S.G. Tzafestas and J.C. Gentina, editors, Robotics and Flexible Manufacturing Systems, pages 417\u2013426. Elsevier Science, 1992. A preliminary version appeared in Proc. 13th IMACS World Congress on Computation and Applied Mathematics, Dublin, 1991."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"L. Console, L. Portinale, and D. Theseider Dupr\u00e9. Focusing abductive diagnosis. In Proc. 11th Int. Conf. on Expert Systems and Their Applications (Conf. on 2nd Generation Expert Systems), pages 231\u2013242, Avignon, 1991. Also in AI Communications 4(2\/3):88\u201397, 1991.","DOI":"10.3233\/AIC-1991-42-3006"},{"key":"20_CR6","unstructured":"L. Console, L. Portinale, D. Theseider Dupr\u00e9, and P. Torasso. Combining heuristic and causal reasoning in diagnostic problem solving. In J.M. David, J.P. Krivine, and R. Simmons, editors, Second Generation Expert Systems. Springer Verlag. forthcoming."},{"key":"20_CR7","unstructured":"L. Console, D. Theseider Dupr\u00e9, and P. Torasso. A theory of diagnosis for incomplete causal models. In Proc. 11th IJCAI, pages 1311\u20131317, Detroit, 1989."},{"issue":"3","key":"20_CR8","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","volume":"7","author":"L. Console","year":"1991","unstructured":"L. Console and P. Torasso. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3):133\u2013141, 1991.","journal-title":"Computational Intelligence"},{"key":"20_CR9","unstructured":"J. de Kleer. Focusing on probable diagnoses. In Proc. AAAI 91, pages 842\u2013848, Anaheim, CA, 1991."},{"issue":"2\u20133","key":"20_CR10","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J. Kleer de","year":"1992","unstructured":"J. de Kleer, A. Mackworth, and R. Reiter. Characterizing diagnoses and systems. Artificial Intelligence, 56(2\u20133):197\u2013222, 1992.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"20_CR11","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1109\/69.60793","volume":"2","author":"Y. Deng","year":"1990","unstructured":"Y. Deng and S.K. Chang. A G-net model for knowledge representation and reasoning. IEEE Trans. on Knowledge and Data Engineering, KDE 2(3):295\u2013310, 1990.","journal-title":"IEEE Trans. on Knowledge and Data Engineering, KDE"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"R. Milne (ed.). Special issue on causal and diagnostic reasoning. IEEE Trans. on Systems, Man and Cybernetics, 17(3), 1987.","DOI":"10.1109\/TSMC.1987.4309050"},{"key":"20_CR13","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H.J. Genrich","year":"1981","unstructured":"H.J. Genrich and K. Lautenbach. System modeling with high level petri nets. Theoretical Computer Science, 13:109\u2013136, 1981.","journal-title":"Theoretical Computer Science"},{"key":"20_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0020-0255(85)90039-8","volume":"35","author":"A. Giordana","year":"1985","unstructured":"A. Giordana and L. Saitta. Modeling production rules by means of Predicate Transition Networks. Information Sciences, 35:1\u201341, 1985.","journal-title":"Information Sciences"},{"key":"20_CR15","unstructured":"W. Hamscher, L. Console, and J. de Kleer. Readings in Model-Based Diagnosis. Morgan Kaufmann, 1992."},{"key":"20_CR16","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"1981","unstructured":"K. Jensen. Coloured Petri Nets and the invariant method. Theoretical Computer Science, 14:317\u2013336, 1981.","journal-title":"Theoretical Computer Science"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"K. Lautenbach. Linear algebraic techniques for Place\/Transition nets. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Central Models and Their Properties, pages 142\u2013167. Springer Verlag, 1987. LNCS 254.","DOI":"10.1007\/978-3-540-47919-2_7"},{"key":"20_CR18","unstructured":"J. Martinez, P.R. Muro, M. Silva, S.F. Smith, and J.L. Villaroel. Merging artificial intelligence techniques and Petri nets for real-time scheduling and control of production systems. In Proc. 12th IMACS World Congress on Scientific Computation, pages 528\u2013531, Paris, 1988."},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"J. Martinez and M. Silva. A simple and fast algorithm to obtain all invariants of a generalized Petri net. In W. Reisig C. Girault, editor, Informatik-Fachberichte, Applications and Theory of Petri Nets, pages 301\u2013310. Springer Verlag, 1982.","DOI":"10.1007\/978-3-642-68353-4_47"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"G. Memmi and G. Roucairol. Linear algebra in net theory. In Lecture Notes in Computer Science, volume 84, pages 213\u2013223. Springer Verlag, 1980.","DOI":"10.1007\/3-540-10001-6_24"},{"issue":"3","key":"20_CR21","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1109\/69.91059","volume":"3","author":"T. Murata","year":"1991","unstructured":"T. Murata, V.S. Subrahmanian, and T. Wakayama. A Petri net model for reasoning in the presence of inconsistency. IEEE Transactions on Knowledge and Data Engineering, KDE 3(3):281\u2013292, 1991.","journal-title":"IEEE Transactions on Knowledge and Data Engineering, KDE"},{"key":"20_CR22","volume-title":"Technical Report UIC-EECS-89-15","author":"T. Murata","year":"1989","unstructured":"T. Murata and J. Yim. Petri-net deduction methods for propositional-logic rule-based systems. Technical Report UIC-EECS-89-15, University of Illinois at Chicago, 1989."},{"issue":"4","key":"20_CR23","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1109\/32.4671","volume":"14","author":"T. Murata","year":"1988","unstructured":"T. Murata and D. Zhang. A Predicate-Transition Net model for parallel interpretation of logic programs. IEEE Transactions on Software Engineering, SE 14(4):481\u2013497, 1988.","journal-title":"IEEE Transactions on Software Engineering, SE"},{"issue":"2","key":"20_CR24","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1109\/32.21746","volume":"15","author":"G. Peterka","year":"1989","unstructured":"G. Peterka and T. Murata. Proof procedure and answer extraction in Petri net model of logic programs. IEEE Trans. on Software Eng., SE 15(2):209\u2013217, 1989.","journal-title":"IEEE Trans. on Software Eng., SE"},{"key":"20_CR25","unstructured":"L. Portinale. Behavioral Petri Net: a model for diagnostic knowledge representation and reasoning. Technical report, Dip. Informatica, Universita' di Torino, 1992. (submitted for publication)."},{"issue":"8","key":"20_CR26","doi-asserted-by":"crossref","first-page":"715","DOI":"10.1002\/int.4550070803","volume":"7","author":"L. Portinale","year":"1992","unstructured":"L. Portinale. Verification of causal models using Petri nets. International Journal of Intelligent Systems, 7(8):715\u2013742, 1992.","journal-title":"International Journal of Intelligent Systems"},{"issue":"1","key":"20_CR27","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57\u201396, 1987.","journal-title":"Artificial Intelligence"},{"key":"20_CR28","unstructured":"P. Torasso and L. Console. Diagnostic Problem Solving: Combining Heuristic, Approximate and Causal Reasoning. Van Nostrand Reinhold, 1989."},{"key":"20_CR29","unstructured":"R. Valette and M. Courvoisier. Petri nets and artificial intelligence. In Proc. Int. Workshop on Emerging Technologies for Factory Automation, North Queensland, Australia, 1992."},{"key":"20_CR30","doi-asserted-by":"crossref","unstructured":"D. Zhang. Planning with Pr\/T nets. In Proc. IEEE Int. Conference on Robotics and Automation, pages 769\u2013775, Sacramento, CA, 1991.","DOI":"10.1109\/ROBOT.1991.131679"},{"key":"20_CR31","volume-title":"Technical Report UIC-EECS-87-2","author":"D. Zhang","year":"1987","unstructured":"D. Zhang and T. Murata. Fixpoint semantics for Petri net model of definite clause logic programs. Technical Report UIC-EECS-87-2, University of Illinois at Chicago, 1987. also to appear in Advances in the Theory of Computation and Computational Mathematics, Ablex Publ."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56863-8_55.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T00:02:13Z","timestamp":1640908933000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56863-8_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568636","9783540477594"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-56863-8_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}