{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T19:15:53Z","timestamp":1770750953335,"version":"3.50.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642287558","type":"print"},{"value":"9783642287565","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28756-5_36","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T16:57:15Z","timestamp":1332435435000},"page":"492-497","source":"Crossref","is-referenced-by-count":53,"title":["TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"David","sequence":"first","affiliation":[]},{"given":"Lasse","family":"Jacobsen","sequence":"additional","affiliation":[]},{"given":"Morten","family":"Jacobsen","sequence":"additional","affiliation":[]},{"given":"Kenneth Yrke","family":"J\u00f8rgensen","sequence":"additional","affiliation":[]},{"given":"Mikael H.","family":"M\u00f8ller","sequence":"additional","affiliation":[]},{"given":"Ji\u0159\u00ed","family":"Srba","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","first-page":"1","volume":"14","author":"P.A. Abdulla","year":"2007","unstructured":"Abdulla, P.A., Deneux, J., Mahata, P., Nyl\u00e9n, A.: Using forward reachability analysis for verification of timed Petri nets. Nordic J. of Computing\u00a014, 1\u201342 (2007)","journal-title":"Nordic J. of Computing"},{"key":"36_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-45740-2_5","volume-title":"Applications and Theory of Petri Nets 2001","author":"P.A. Abdulla","year":"2001","unstructured":"Abdulla, P.A., Nyl\u00e9n, A.: Timed Petri Nets and BQOs. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, pp. 53\u201370. Springer, Heidelberg (2001)"},{"issue":"14","key":"36_CR3","doi-asserted-by":"publisher","first-page":"2741","DOI":"10.1080\/00207540412331312688","volume":"42","author":"B. Berthomieu","year":"2004","unstructured":"Berthomieu, B., Ribet, P.-O., Vernadat, F.: The tool TINA \u2014 construction of abstract state spaces for Petri nets and time Petri nets. International Journal of Production Research\u00a042(14), 2741\u20132756 (2004)","journal-title":"International Journal of Production Research"},{"key":"36_CR4","first-page":"1","volume-title":"Proc. of the IFIP WG 6.1 10th International Symposium on Protocol Specification, Testing and Verification","author":"T. Bolognesi","year":"1990","unstructured":"Bolognesi, T., Lucidi, F., Trigila, S.: From timed Petri nets to timed LOTOS. In: Proc. of the IFIP WG 6.1 10th International Symposium on Protocol Specification, Testing and Verification, pp. 1\u201314. North-Holland, Amsterdam (1990)"},{"key":"36_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"698","DOI":"10.1007\/978-3-642-10373-5_36","volume-title":"Formal Methods and Software Engineering","author":"J. Byg","year":"2009","unstructured":"Byg, J., J\u00f8rgensen, K.Y., Srba, J.: An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol.\u00a05885, pp. 698\u2013716. Springer, Heidelberg (2009)"},{"key":"36_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-642-04761-9_7","volume-title":"Automated Technology for Verification and Analysis","author":"J. Byg","year":"2009","unstructured":"Byg, J., J\u00f8rgensen, K.Y., Srba, J.: TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets. In: Liu, Z., Ravn, A.P. (eds.) ATVA 2009. LNCS, vol.\u00a05799, pp. 84\u201389. Springer, Heidelberg (2009)"},{"key":"36_CR7","unstructured":"Cambronero, M.E., Ravn, A.P., Valero, V.: Using UPPAAL to analyze an mpeg-2 algorithm. In: Proc. of VII Workshop Brasileiro de Tempo Real, pp. 73\u201382 (2005)"},{"key":"36_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/11513988_41","volume-title":"Computer Aided Verification","author":"G. Gardey","year":"2005","unstructured":"Gardey, G., Lime, D., Magnin, M., Roux, O.H.: Romeo: A Tool for Analyzing Time Petri Nets. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 418\u2013423. Springer, Heidelberg (2005)"},{"key":"36_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/3-540-56863-8_52","volume-title":"Application and Theory of Petri Nets 1993","author":"H.M. Hanisch","year":"1993","unstructured":"Hanisch, H.M.: Analysis of Place\/Transition Nets with Timed-Arcs and Its Application to Batch Process Control. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691, pp. 282\u2013299. Springer, Heidelberg (1993)"},{"key":"36_CR10","unstructured":"Platform Independent Petri net\u00a0Editor 2.5, http:\/\/pipe2.sourceforge.net"},{"key":"36_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-15784-4_6","volume-title":"Computer Performance Engineering","author":"L. Jacobsen","year":"2010","unstructured":"Jacobsen, L., Jacobsen, M., M\u00f8ller, M.H., Srba, J.: A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking. In: Aldini, A., Bernardo, M., Bononi, L., Cortellessa, V. (eds.) EPEW 2010. LNCS, vol.\u00a06342, pp. 83\u201398. Springer, Heidelberg (2010)"},{"key":"36_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-18381-2_4","volume-title":"SOFSEM 2011: Theory and Practice of Computer Science","author":"L. Jacobsen","year":"2011","unstructured":"Jacobsen, L., Jacobsen, M., M\u00f8ller, M.H., Srba, J.: Verification of Timed-Arc Petri Nets. In: \u010cern\u00e1, I., Gyim\u00f3thy, T., Hromkovi\u010d, J., Jefferey, K., Kr\u00e1lovi\u0107, R., Vukoli\u0107, M., Wolf, S. (eds.) SOFSEM 2011. LNCS, vol.\u00a06543, pp. 46\u201372. Springer, Heidelberg (2011)"},{"key":"36_CR13","doi-asserted-by":"crossref","unstructured":"Lynch, N., Shavit, N.: Timing-based mutual exclusion. In: Proceedings of the 13th IEEE Real-Time Systems Symposium, pp. 2\u201311 (1992)","DOI":"10.1109\/REAL.1992.242681"},{"key":"36_CR14","doi-asserted-by":"crossref","unstructured":"Pelayo, F.L., Cuartero, F., Valero, V., Macia, H., Pelayo, M.L.: Applying timed-arc Petri nets to improve the performance of the MPEG-2 encoding algorithm. In: Proc. of MMM 2004, pp. 49\u201356. IEEE (2004)","DOI":"10.1109\/MULMM.2004.1264966"},{"key":"36_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/3-540-48068-4_24","volume-title":"Application and Theory of Petri Nets 2002","author":"V. Valero","year":"2002","unstructured":"Valero, V., Pardo, J.-J., Cuartero, F.: Translating TPAL Specifications into Timed-Arc Petri Nets. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, pp. 414\u2013433. Springer, Heidelberg (2002)"},{"key":"36_CR16","doi-asserted-by":"crossref","unstructured":"Ruiz, V.V., Pelayo, F.L., Cuartero, F., Cazorla, D.: Specification and analysis of the MPEG-2 video encoder with timed-arc Petri nets. ENTCS\u00a066(2) (2002)","DOI":"10.1016\/S1571-0661(04)80407-9"},{"key":"36_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/11494744_22","volume-title":"Applications and Theory of Petri Nets 2005","author":"J. Srba","year":"2005","unstructured":"Srba, J.: Timed-Arc Petri Nets vs. Networks of Timed Automata. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 385\u2013402. Springer, Heidelberg (2005)"},{"key":"36_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-85778-5_3","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"J. Srba","year":"2008","unstructured":"Srba, J.: Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol.\u00a05215, pp. 15\u201332. Springer, Heidelberg (2008)"},{"key":"36_CR19","unstructured":"UPPAAL, http:\/\/uppaal.org"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28756-5_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,5]],"date-time":"2022-01-05T21:10:23Z","timestamp":1641417023000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28756-5_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642287558","9783642287565"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28756-5_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}