{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T07:59:43Z","timestamp":1648713583629},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,4,21]],"date-time":"2011-04-21T00:00:00Z","timestamp":1303344000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math Meth Oper Res"],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1007\/s00186-011-0353-6","type":"journal-article","created":{"date-parts":[[2011,4,20]],"date-time":"2011-04-20T00:02:38Z","timestamp":1303257758000},"page":"281-300","source":"Crossref","is-referenced-by-count":3,"title":["Encoding the dynamics of deterministic systems"],"prefix":"10.1007","volume":"73","author":[{"given":"Luis M.","family":"Torres","sequence":"first","affiliation":[]},{"given":"Annegret K.","family":"Wagler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,4,21]]},"reference":[{"issue":"2","key":"353_CR1","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1023\/A:1008656726700","volume":"10","author":"NR Adam","year":"1998","unstructured":"Adam NR, Atluri V, Huang WK (1998) Modeling and analysis of workflows using Petri nets. J Intell Inf Syst 10(2): 131\u2013158. doi: 10.1023\/A:1008656726700","journal-title":"J Intell Inf Syst"},{"key":"353_CR2","unstructured":"Balbo G (2002) Introducation to stochastic Petri nets. In: Lectures on formal methods and performance analysis: first EEF\/Euro summer school on trends in computer science, Springer, New York, pp 84\u2013155"},{"key":"353_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0097770","volume-title":"Application of Petri nets to communication networks, advances in Petri nets","author":"J Billington","year":"1999","unstructured":"Billington J, Diaz M, Rozenberg G (1999) Application of Petri nets to communication networks, advances in Petri nets. Springer, London"},{"key":"353_CR4","unstructured":"Caprotti O, Ferscha A, Hong H (1995) Reachability test in Petri nets by Gr\u00f6bner bases. RISC-Linz Report Series 95\u201303, Research Institute for Symbolic Computation, Linz"},{"key":"353_CR5","unstructured":"Chandler A, Heyworth A (1999) Gr\u00f6bner basis procedures for testing Petri nets. UWB Math preprint 99.11, University of Wales, Wales. arXiv:math\/0002119v1"},{"key":"353_CR6","doi-asserted-by":"crossref","unstructured":"Chaouiya C (2007) Petri net modelling of biological networks. Briefings in Bioinformatics pp bbm029+. doi: 10.1093\/bib\/bbm029","DOI":"10.1093\/bib\/bbm029"},{"issue":"2","key":"353_CR7","first-page":"165","volume":"6","author":"C Chaouiya","year":"2008","unstructured":"Chaouiya C, Remy E, Thieffry D (2008) Petri net modelling of biological regulatory networks. J Discret\u00a0algorithms 6(2): 165\u2013177. doi: 10.1016\/j.jda.2007.06.003","journal-title":"J Discret\u00a0algorithms"},{"key":"353_CR8","volume-title":"Discrete, continuous, and hybrid Petri nets","author":"R David","year":"2005","unstructured":"David R, Alla H (2005) Discrete, continuous, and hybrid Petri nets. Springer, Berlin"},{"issue":"1","key":"353_CR9","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/S0166-3615(01)00142-7","volume":"47","author":"T Gu","year":"2002","unstructured":"Gu T, Bahri PA (2002) A survey of Petri net applications in batch processes. Comput Ind 47(1): 99\u2013111. doi: 10.1016\/S0166-3615(01)00142-7","journal-title":"Comput Ind"},{"issue":"4","key":"353_CR10","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1142\/S0219720004000764","volume":"2","author":"S Hardy","year":"2004","unstructured":"Hardy S, Robillard PN (2004) Modeling and simulation of molecular biology systems using Petri nets: modeling goals of various approaches. J Bioinformatics Comput Biol 2(4): 619\u2013637","journal-title":"J Bioinformatics Comput Biol"},{"key":"353_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri nets: basic concepts, analysis methods and practical use, vol 3","author":"K Jensen","year":"1997","unstructured":"Jensen K (1997) Coloured Petri nets: basic concepts, analysis methods and practical use, vol 3. Springer, New York"},{"key":"353_CR12","doi-asserted-by":"crossref","unstructured":"Koch I, Heiner M, (2008) Petri nets In: Junker BH, Schreiber F (eds) Analysis of biological networks, Wiley book series in bioinformatics, pp 139\u2013180","DOI":"10.1002\/9780470253489.ch7"},{"key":"353_CR13","unstructured":"Lipton R (1976) The reachability problem requires exponential space. Research Report 62, Computer Science Department, Yale University, USA"},{"key":"353_CR14","unstructured":"Marsan M, Balbo G, Donatelli S, Franceschinis G, Conte G (1995) Modelling with generalized stochastic Petri nets, Wiley series in parallel computing"},{"key":"353_CR15","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1093\/genetics\/164.1.105","volume":"164","author":"W Marwan","year":"2003","unstructured":"Marwan W (2003) Theory of time-resolved somatic complementation and its use for the analysis of the sporulation control network of physarum polycephalum. Genetics 164: 105\u2013115","journal-title":"Genetics"},{"key":"353_CR16","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1078\/14344610260450127","volume":"153","author":"W Marwan","year":"2002","unstructured":"Marwan W, Starostzik C (2002) The sequence of regulatory events in the sporulation control network of physarum polycephalum analysed by time-resolved somatic complementation of mutants. Protist 153: 391\u2013400","journal-title":"Protist"},{"key":"353_CR17","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/j.jtbi.2005.03.018","volume":"236","author":"W Marwan","year":"2005","unstructured":"Marwan W, Sujatha A, Starostzik C (2005) Reconstructing the regulatory network controlling commitment and sporulation in physarum polycephalum based on hierarchical Petri net modeling and simulation. J Theor Biol 236: 349\u2013365","journal-title":"J Theor Biol"},{"key":"353_CR18","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/s00186-007-0178-5","volume":"67","author":"W Marwan","year":"2008","unstructured":"Marwan W, Wagler A, Weismantel R (2008) A mathematical approach to solve the network reconstruction problem. Math Methods Oper Res 67: 117\u2013132","journal-title":"Math Methods Oper Res"},{"issue":"3","key":"353_CR19","first-page":"389","volume":"3","author":"H Matsuno","year":"2003","unstructured":"Matsuno H, Aoshima H, Doi A, Tanaka Y, Matsui M (2003) Biopathways representation and simulation on hybrid functional Petri net. In Silico Biol. 3(3): 389\u2013404","journal-title":"In Silico Biol."},{"key":"353_CR20","doi-asserted-by":"crossref","unstructured":"Mayr EW (1981) An algorithm for the general Petri net reachability problem. In: Proceedings of the 13th Ann. ACM Symposium on theory of computing, ACM Press, New York, pp 238\u2013246","DOI":"10.1145\/800076.802477"},{"issue":"3","key":"353_CR21","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1137\/0213029","volume":"13","author":"EW Mayr","year":"1984","unstructured":"Mayr EW (1984) An algorithm for the general Petri net reachability problem. SIAM J Comput 13(3): 441\u2013460","journal-title":"SIAM J Comput"},{"key":"353_CR22","first-page":"89","volume-title":"Fundamentals of computation theory, no. 965 in Lecture Notes in Computer Science","author":"EW Mayr","year":"1995","unstructured":"Mayr EW (1995) On polynomial ideals, their complexity and applications. In: Reichel H (eds) Fundamentals of computation theory, no. 965 in Lecture Notes in Computer Science. Springer, Berlin, pp 89\u2013105"},{"key":"353_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri nets: an introduction","author":"W Reisig","year":"1985","unstructured":"Reisig W (1985) Petri nets: an introduction. Springer, New York"},{"key":"353_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03687-7","volume-title":"Elements of distributed algorithms: modeling and analysis with Petri nets","author":"W Reisig","year":"1998","unstructured":"Reisig W (1998) Elements of distributed algorithms: modeling and analysis with Petri nets. Springer, New York"},{"key":"353_CR25","unstructured":"Runge T (2004) Application of coloured Petri nets in systems biology. In: Proceedings of the 5th workshop on CPN. University of Aarhus, Aarhus, pp 77\u201395"},{"key":"353_CR26","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/j.endm.2010.05.023","volume":"36","author":"LM Torres","year":"2010","unstructured":"Torres LM, Wagler A (2010) Model reconstruction for discrete deterministic systems. Electron notes Discret Math 36: 175\u2013182","journal-title":"Electron notes Discret Math"},{"key":"353_CR27","doi-asserted-by":"crossref","unstructured":"Wagler A, Weismantel R (2009) The combinatorics of modeling and analyzing biological systems. Nat Comput (to appear). doi: 10.1007\/S11047-009-9165-5","DOI":"10.1007\/s11047-009-9165-5"},{"issue":"3","key":"353_CR28","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/S0167-9260(96)00010-7","volume":"21","author":"A Yakovlev","year":"1996","unstructured":"Yakovlev A, Koelmans A, Semenov A, Kinniment D (1996) Modelling, analysis and synthesis of asynchronous control circuits using Petri nets. Integr VLSI J 21(3): 143\u2013170. doi: 10.1016\/S0167-9260(96)00010-7","journal-title":"Integr VLSI J"}],"container-title":["Mathematical Methods of Operations Research"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00186-011-0353-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00186-011-0353-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00186-011-0353-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,21]],"date-time":"2021-11-21T22:30:19Z","timestamp":1637533819000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00186-011-0353-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4,21]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,6]]}},"alternative-id":["353"],"URL":"https:\/\/doi.org\/10.1007\/s00186-011-0353-6","relation":{},"ISSN":["1432-2994","1432-5217"],"issn-type":[{"value":"1432-2994","type":"print"},{"value":"1432-5217","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,4,21]]}}}