{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T01:09:13Z","timestamp":1773104953609,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1996,8,1]],"date-time":"1996-08-01T00:00:00Z","timestamp":838857600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1996,8,1]],"date-time":"1996-08-01T00:00:00Z","timestamp":838857600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1996,8]]},"DOI":"10.1007\/bf03036471","type":"journal-article","created":{"date-parts":[[2009,4,4]],"date-time":"2009-04-04T07:07:20Z","timestamp":1238828840000},"page":"687-706","source":"Crossref","is-referenced-by-count":9,"title":["Reduction rules for time Petri nets"],"prefix":"10.1007","volume":"33","author":[{"given":"Robert H.","family":"Sloan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Buy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03036471_CR1","unstructured":"Azema, P., Juanole, G., Sanchis, E., Montbernard, M.: Specification and verification of distributed systems using Prolog Interpreted Petri nets. In: Proc. 7th Int. Conf. on Software Engineering, pp. 510\u2013518, Orlando, Florida, 1984"},{"key":"BF03036471_CR2","unstructured":"Berthelot, G.: Transformations et analyse de r\u00e9seaux de Petri: Application aux protocoles. PhD thesis, Universit\u00e9 de Paris 6, 1983"},{"key":"BF03036471_CR3","first-page":"19","volume-title":"Advances in Petri Nets 1985","author":"G. Berthelot","year":"1987","unstructured":"Berthelot, G.: Checking properties of nets using transformations. In: Rozenberg, G., (ed.) Advances in Petri Nets 1985, pp. 19\u201340. Berlin, Heidelberg, New York: Springer 1987"},{"issue":"3","key":"BF03036471_CR4","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. Softw. Eng.17(3), 259\u2013273 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"BF03036471_CR5","doi-asserted-by":"crossref","unstructured":"Buy, U., Sloan, R.: A Petri-net-based approach to real-time program analysis. In: Proc. 7th Int. Workshop on Software Specification and Design, pp. 56\u201360, December 1993","DOI":"10.1109\/IWSSD.1993.315513"},{"key":"BF03036471_CR6","unstructured":"Buy, U., Sloan, R.H.: Automatic real-time analysis of Ada tasking programs for embedded systems.Real Time Systems (Submitted for publication), Available as Technical Report 95-1, Department of Electrical Engineering and Computer Science, University of Illinois at Chicago"},{"key":"BF03036471_CR7","doi-asserted-by":"crossref","unstructured":"Buy, U., Sloan, R.H.: Analysis of real-time programs with simple time Petri nets. In: Proc. 1994 Int. Symp. on Software Testing and Analysis, pp. 228\u2013239, 1994","DOI":"10.1145\/186258.187243"},{"key":"BF03036471_CR8","volume-title":"CONCUR \u201990: Theories of Concurrency: Unification and Extension","author":"J. Desel","year":"1990","unstructured":"Desel, J.: Reduction and design of well-behaved concurrent systems. In: Beaten, J.C.M., Klop, J.W. (eds.) CONCUR \u201990: Theories of Concurrency: Unification and Extension (Lect. Notes Comput Sci., 458, pp. 166\u2013181) Berlin, Heidelberg, New York: Springer 1990"},{"issue":"4","key":"BF03036471_CR9","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/201024.201038","volume":"3","author":"S. Duri","year":"1994","unstructured":"Duri, S., Buy, U., Devarapalli, R., Shatz, S.M.: Application and experimental evaluation of state space reduction methods for deadlock analysis in Ada. ACM Trans. Softw. Eng. Methodology3(4), 340\u2013380 (1994)","journal-title":"ACM Trans. Softw. Eng. Methodology"},{"key":"BF03036471_CR10","unstructured":"Esparza, J., Silva, M.: Top-down synthesis of live and bounded free choice nets. In: Proc. 11th Conf. on Petri Nets, pp. 63\u201383, Paris, France, 1990"},{"issue":"2","key":"BF03036471_CR11","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1109\/TSE.1986.6312945","volume":"12","author":"G. Estrin","year":"1986","unstructured":"Estrin, G., Fenchel, R.S., Razouk, R.R., Vernon, M.K.: SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems. IEEE Trans. Softw. Eng.12(2), 293\u2013311 (1986)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"BF03036471_CR12","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Mandrioli, D., Morasca, S., Pezz\u00e9, M.: A general way to put time in Petri nets. In: Proc. 5th Int. Workshop on Software Specifications and Design, pp. 60\u201367, Pittsburgh, Pennsylvania, May 1989","DOI":"10.1145\/75200.75210"},{"key":"BF03036471_CR13","volume-title":"Computer-Aided Verification: 3rd Int. Conf., CAV\u201991","author":"P. Godefroid","year":"1992","unstructured":"Godefroid, P., Wolper, P.: Using partial orders for the efficient verification of deadlock freedom and safety properties. In: Larsen, K.G., Skou, A. (eds.) Computer-Aided Verification: 3rd Int. Conf., CAV\u201991 (Lect. Notes Comput. Sci., 575, pp. 332\u2013342) Berlin, Heidelberg, New York: Springer, 1992"},{"key":"BF03036471_CR14","volume-title":"Advances in Petri nets","author":"S. Haddad","year":"1990","unstructured":"Haddad, S.: A reduction theory for coloured Petri nets. In: Rozenberg, G. (ed.) Advances in Petri nets, (Lect. Notes Comput. Sci., Vol. 424, pp. 209\u2013235) Berlin, Heidelberg, New York: Springer 1990"},{"issue":"9","key":"BF03036471_CR15","first-page":"381","volume":"COM-24","author":"P. Merlin","year":"1976","unstructured":"Merlin, P., Faber, D.: Recoverability of communication protocols \u2014implications of a theoretical study. IEEE Trans. Commun.COM-24(9), 381\u2013404 (1976)","journal-title":"IEEE Trans. Commun."},{"issue":"4","key":"BF03036471_CR16","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proc. IEEE77(4), 541\u2013580, 1989","journal-title":"Proc. IEEE"},{"key":"BF03036471_CR17","volume-title":"Petri net theory and the modeling of systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri net theory and the modeling of systems. Prentice-Hall: Englewood Cliffs, NJ, 1981"},{"issue":"4","key":"BF03036471_CR18","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1109\/71.80172","volume":"1","author":"S.M. Shatz","year":"1990","unstructured":"Shatz, S.M., Mai, K., Black, C., Tu, S.: Design and implementation of a Petri net-based toolkit for Ada tasking analysis. IEEE Trans. Parallel Distributed Systems,1(4), 424\u2013441 (1990)","journal-title":"IEEE Trans. Parallel Distributed Systems"},{"key":"BF03036471_CR19","first-page":"293","volume":"8","author":"P.H. Starke","year":"1991","unstructured":"Starke, P.H.: Reachability analysis of Petri nets using symmetries. Syst. Anal. Model. Simul.8, 293\u2013303 (1991)","journal-title":"Syst. Anal. Model. Simul."},{"key":"BF03036471_CR20","unstructured":"Tu, S., Shatz, S.M., Murata, T.: Applying Petri net reduction to support Ada-tasking deadlock analysis. In: Proc. 11th Int. Conf. on Distributed Computing Systems, pp. 96\u2013103, Paris, France, 1990"},{"key":"BF03036471_CR21","volume-title":"Computer-Aided Verification: 2nd Int. Conf., CAV\u201990","author":"A. Valmari","year":"1991","unstructured":"Valmari, A.: A stubborn attack on state explosion. In: Clarke, E.M., Kurshan, R.P. (eds.), Computer-Aided Verification: 2nd Int. Conf., CAV\u201990 (Lect. Notes Comput. Sci., 531, pp. 156\u2013165) Berlin, Heidelberg, New York: Springer 1991"},{"key":"BF03036471_CR22","volume-title":"Computer-Aided Verification: 5th Int. Conf., CAV \u201993","author":"T. Yoneda","year":"1993","unstructured":"Yoneda, T., Shibayama, A., Schlingloff, B.-H., Clarke, E.M.: Efficient verification of parallel real-time systems. In: Courcoubetis, C. (ed.), Computer-Aided Verification: 5th Int. Conf., CAV \u201993 (Lect. Notes Comput. Sci., 697, pp. 321\u2013332) Berlin, Heidelberg, New York: Springer 1993"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03036471.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/BF03036471\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03036471","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03036471.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T21:16:42Z","timestamp":1739049402000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BF03036471"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,8]]},"references-count":22,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1996,8]]}},"alternative-id":["BF03036471"],"URL":"https:\/\/doi.org\/10.1007\/bf03036471","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,8]]}}}