{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T13:53:40Z","timestamp":1648907620597},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,7,16]],"date-time":"2010-07-16T00:00:00Z","timestamp":1279238400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1007\/s11047-010-9211-3","type":"journal-article","created":{"date-parts":[[2010,7,15]],"date-time":"2010-07-15T05:40:53Z","timestamp":1279172453000},"page":"1017-1043","source":"Crossref","is-referenced-by-count":4,"title":["Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks"],"prefix":"10.1007","volume":"10","author":[{"given":"Louchka","family":"Popova-Zeugmann","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,7,16]]},"reference":[{"key":"9211_CR1","doi-asserted-by":"crossref","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183\u2013235. citeseer.ist.psu.edu\/alur94theory.html","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"9211_CR2","unstructured":"Berthelot G, Boucheneb H (1994) Occurrence graph for interval timed colored nets. In: 15th International conference on application and theory of Petri nets, LNCS, Springer, pp 79\u201398"},{"key":"9211_CR3","unstructured":"Berthomieu B (2008) TIme Petri net analyzer. 2.9.2 released edition, May 2008. LAAS\/CNRS, Toulouse. http:\/\/www.laas.fr\/~bernard"},{"key":"9211_CR4","doi-asserted-by":"crossref","unstructured":"Berthomieu B, Diaz M (1991) Modeling and verification of time dependent systems using time Petri nets. In: Advances in Petri nets 1984. IEEE Trans Softw Eng 17(3):259\u2013273","DOI":"10.1109\/32.75415"},{"key":"9211_CR5","unstructured":"Berthomieu B, Menasche M (1983) An enumerative approach for analyzing time Petri nets. In: Proceedings IFIP Congress, September"},{"key":"9211_CR6","doi-asserted-by":"crossref","unstructured":"Boucheneb H, Berthelot G (1993) Toward a simplified building of time Petri net reachability graph. In: Proceedings of Petri nets and performance models PNPM 93, Toulouse, France. IEEE CS, 1993","DOI":"10.1109\/PNPM.1993.393436"},{"issue":"2","key":"9211_CR7","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1109\/TSE.2004.1265815","volume":"30","author":"G Bucci","year":"2004","unstructured":"Bucci G, Fedeli A, Sassoli L, Vicario E (2004) Timed state space analysis of real-time preemptive systems. IEEE Trans Softw Eng 30(2):97\u2013111","journal-title":"IEEE Trans Softw Eng"},{"key":"9211_CR8","unstructured":"Cassez F, Roux OH (2004) Structural translation of time Petri nets into timed automata. In: Fourth international workshop on automated verification of critical systems (AVoCS\u201904), Electronic notes in theoretical computer science, London, UK, September 2004. Elsevier"},{"key":"9211_CR9","volume-title":"Introduction to algorithms","author":"TH Cormen","year":"2001","unstructured":"Cormen TH, Leiserson ChE, Rivest RL, Stein C (2001) Introduction to algorithms, 2nd edn. MIT Press, Cambridge","edition":"2"},{"key":"9211_CR10","unstructured":"Gr\u00f6tschel M, Lov\u00e1sz L, Schrijver A (1993) Geometric algorithms and combinatorial optimization, 2nd corrected edn. Springer-Verlag, Berlin. ISBN 0-387-56740-2"},{"key":"9211_CR11","unstructured":"Heiner M, Popova-Zeugmann L (1997) Worst-case analysis of concurrent systems with duration interval Petri nets. In: Tagungsband zur 5. Fachtagung Entwurf komplexer Automatisierungssysteme, TU Braunschweig. Institut f\u00fcr Regelungs und Automatisierungstechnik, Graz"},{"key":"9211_CR12","doi-asserted-by":"crossref","unstructured":"Koch I, Heiner H (2008) Petri nets. In: Junker BH, Schreiber F (eds) Biological network analysis. Pan Y, Zomaya AY (ser. eds.) Wiley Book Series on Bioinformatics, Chap 7. MIT Press, Cambridge, pp 139\u2013179","DOI":"10.1002\/9780470253489.ch7"},{"key":"9211_CR13","volume-title":"Molecular cell biology, 6th ed","author":"H Lodish","year":"2008","unstructured":"Lodish H (2008) Molecular cell biology, 6th edn. Freeman, New York"},{"key":"9211_CR14","unstructured":"Merlin PhM (1974) A study of the recoverability of computing systems. PhD thesis, University of California, Computer Science Dept., Irvine, January 1974"},{"key":"9211_CR15","unstructured":"Papadimitriou Ch, Steiglitz K (1998) Combinatorial optimization: algorithms and complexity. Dover Publications, Inc., Mineola"},{"key":"9211_CR16","unstructured":"Penczek W (2000) Partial order reductions for checking branching properties of time Petri nets. In: Proceedings of the international workshop on CS&P\u201900 workshop, Informatik-Berichte Nr. 140(2), pp 189\u2013202"},{"key":"9211_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-32870-4","volume-title":"Advances in verification of time Petri nets and timed automata","author":"W Penczek","year":"2006","unstructured":"Penczek W, Polrola A (2006) Advances in verification of time Petri nets and timed automata. Springer-Verlag, Berlin"},{"key":"9211_CR19","unstructured":"Popova-Zeugmann L (1989) Time Petri nets (in German). Ph.D.Thesis, Humboldt University at Berlin, Berlin"},{"issue":"4","key":"9211_CR18","first-page":"227","volume":"27","author":"L Popova","year":"1991","unstructured":"Popova-Zeugmann L (1991) On time Petri nets. J Inform Process Cybern EIK 27(4):227\u2013244","journal-title":"J Inform Process Cybern EIK"},{"issue":"3","key":"9211_CR20","first-page":"721","volume":"35","author":"L. Popova-Zeugmann","year":"2007","unstructured":"Popova-Zeugmann L. (2007a) Time Petri nets state space reduction using dynamic programming. J Control Cybern 35(3):721\u2013748","journal-title":"J Control Cybern"},{"key":"9211_CR21","unstructured":"Popova-Zeugmann L (2007b) Time and Petri nets (in German). Habilitation Thesis, Humboldt University at Berlin, Berlin"},{"key":"9211_CR23","doi-asserted-by":"crossref","unstructured":"Popova-Zeugmann L, Schlatter D (1999) Analyzing path in time Petri nets. Fundamenta Informaticae (FI), vol 37. IOS Press, Amsterdam, pp 311\u2013327","DOI":"10.3233\/FI-1999-37307"},{"key":"9211_CR24","unstructured":"Popova-Zeugmann L, Werner W, Richling J (2004) Using state-equation to prove non-reachability in timed petrinets. Fundamenta Informaticae (FI), vol 61. IOS Press, Amsterdam, pp 187\u2013202"},{"key":"9211_CR22","unstructured":"Popova-Zeugmann L, Heiner M, Koch I (2005) Time Petri nets for modelling and analysis of biochemical networks. Fundamenta Informaticae (FI), vol 67. IOS Press, Amsterdam, pp 149\u2013162"},{"issue":"7","key":"9211_CR25","doi-asserted-by":"crossref","first-page":"974","DOI":"10.1093\/bioinformatics\/btq050","volume":"26","author":"C Rohr","year":"2010","unstructured":"Rohr C and Marwan W and Heiner M (2010) Snoopy\u2014a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 26(7):974\u2013975","journal-title":"Bioinformatics"},{"key":"9211_CR26","unstructured":"Starke P-H (2003) INA\u2014the intergrated net analyser. Humboldt University at Berlin. http:\/\/www2.informatik.hu-berlin.de\/~starke\/ina.html"},{"key":"9211_CR27","doi-asserted-by":"crossref","unstructured":"Tyson JJ (1991) Modeling the cell division cycle: cdc2 and cyclin interactions. Proc Natl Acad Sci USA 88(16):7328\u20137332","DOI":"10.1073\/pnas.88.16.7328"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-010-9211-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-010-9211-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-010-9211-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T00:29:53Z","timestamp":1591489793000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-010-9211-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,16]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,9]]}},"alternative-id":["9211"],"URL":"https:\/\/doi.org\/10.1007\/s11047-010-9211-3","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,7,16]]}}}