{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:23Z","timestamp":1725665003118},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627180"},{"type":"electronic","value":"9783540684947"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62718-9_11","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:49:12Z","timestamp":1330296552000},"page":"187-203","source":"Crossref","is-referenced-by-count":1,"title":["Reductions of petri nets and unfolding of propositional logic programs"],"prefix":"10.1007","author":[{"given":"Laurent","family":"Fribourg","sequence":"first","affiliation":[]},{"given":"Hans","family":"Ols\u00e9n","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"11_CR1","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"M. Ajmone Marsan","year":"1995","unstructured":"M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets, John Wiley & Sons, Chichester, 1995."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"G. Berthelot. \u201cTransformations and Decompositions of Nets\u201d. Advances in Petri Nets, LNCS 254, Springer-Verlag, 1986, pp. 359\u2013376.","DOI":"10.1007\/978-3-540-47919-2_13"},{"key":"11_CR3","volume-title":"R\u00e9seaux de Petri: Th\u00e9orie et Pratique","author":"G.W. Brams","year":"1983","unstructured":"G.W. Brams. R\u00e9seaux de Petri: Th\u00e9orie et Pratique, Masson, Paris, 1983."},{"key":"11_CR4","unstructured":"S. Christensen. Decidability and Decomposition in Process Algebras. Ph.D. Thesis, University of Edinburgh, CST-105-93, 1993."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"J. Esparza and M. Nielsen. \u201cDecidability Issues for Petri Nets\u201d. Bulletin of the EATCS, Number 52, Feb. 1994.","DOI":"10.7146\/brics.v1i8.21662"},{"key":"11_CR6","first-page":"221","volume":"965","author":"J. Esparza","year":"1995","unstructured":"J. Esparza. \u201cPetri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes\u201d. Proc. of Fundamentals of Computer Theory '95, LNCS 965, 1995, pp. 221\u2013232.","journal-title":"LNCS"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.L. Lassez. \u201cConstraint Logic Programming\u201d, Proc. 14th ACM Symp. on Principles of Programming Languages, 1987, pp. 111\u2013119.","DOI":"10.1145\/41625.41635"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"P. Kanellakis, G. Kuper and P. Revesz. \u201cConstraint Query Languages\u201d. Internal Report, November 1990. (Short version in Proc. 9th ACM Symp. on Principles of Database Systems, Nashville, 1990, pp. 299\u2013313).","DOI":"10.1145\/298514.298582"},{"key":"11_CR9","volume-title":"Technical Report LIENS-95-26","author":"L. Fribourg","year":"1995","unstructured":"L. Fribourg and H. Ols\u00e9n. Datalog Programs with Arithmetical Constraints: Hierarchic, Periodic an Spiralling Least Fixpoints. Technical Report LIENS-95-26, Ecole Normale Sup\u00e9rieure, Paris, November 1995."},{"key":"11_CR10","volume-title":"Technical Report LIENS-96-12","author":"L. Fribourg","year":"1996","unstructured":"L. Fribourg and H. Ols\u00e9n. A Decompositional Approach for Computing Least Fixed-Points of Datalog Programs with Z-counters. Technical Report LIENS-96-12, Ecole Normale Sup\u00e9rieure, Paris, July 1996 (available by anonymous ftp on ftp.ens.fr in \/pub\/reports\/liens or on http:\/\/www.dmi.ens.fr\/dmi\/preprints)."},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1966.16.285","volume":"16","author":"S. Ginsburg","year":"1966","unstructured":"S. Ginsburg and E.H. Spanier. \u201cSemigroups, Presburger formulas and languages\u201d. Pacific Journal of Mathematics 16, 1966, pp. 285\u2013296.","journal-title":"Pacific Journal of Mathematics"},{"key":"11_CR12","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1017\/S0960129500001419","volume":"2","author":"J. C. Shepherdson","year":"1992","unstructured":"J. C. Shepherdson, \u201cUnfold\/fold transformations of logic programs\u201d. Math. Struct. in Comp. Science, 1992, vol. 2, pp. 143\u2013157","journal-title":"Math. Struct. in Comp. Science"}],"container-title":["Lecture Notes in Computer Science","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62718-9_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:14:07Z","timestamp":1605647647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62718-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627180","9783540684947"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-62718-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}