{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:35Z","timestamp":1751983655683},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437871"},{"type":"electronic","value":"9783540480686"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48068-4_25","type":"book-chapter","created":{"date-parts":[[2007,6,18]],"date-time":"2007-06-18T11:01:43Z","timestamp":1182164503000},"page":"434-444","source":"Crossref","is-referenced-by-count":13,"title":["Maria: Modular Reachability Analyser for Algebraic System Nets"],"prefix":"10.1007","author":[{"given":"Marko","family":"M\u00e4kel\u00e4","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,6]]},"reference":[{"key":"25_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001","year":"2001","unstructured":"Jos\u00e9-Manuel Colom and Maciej Koutny, editors, Application and Theory of Petri Nets 2001, 22 nd International Conference, ICATPN 2001, volume 2075 of Lecture Notes in Computer Science, Newcastle upon Tyne, England, June 2001. Springer-Verlag."},{"key":"25_CR2","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1145\/337180.337234","volume-title":"Proceedings of the 22nd International Conference on Software Engineering","author":"James. C. Corbett","year":"2000","unstructured":"James. C. Corbett, Matthew. B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. P\u0103s\u0103reanu, Robby, and Hongjun Zheng. Bandera: Extracting finite-state models from Java source code. In Carlo Ghezzi, Mehdi Jazayeri and Alexander Wolf, editors, Proceedings of the 22 nd International Conference on Software Engineering, pages 439\u2013448, Limerick, Ireland, June 2000. ACM Press, New York, NY, USA."},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Emden R. Gansner and Stephen C. North. An open graph visualization system and its applications to software engineering. Software: Practice and Experience, 30(11):1203\u20131233, September 2000.","DOI":"10.1002\/1097-024X(200009)30:11<1203::AID-SPE338>3.0.CO;2-N"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Rob Gerth, Doron Peled, Moshe Y. Vardi, and Pierre Wolper. Simple on-the-fly automatic verification of linear temporal logic. In Proceedings of the 15 th Workshop Protocol Specification, Testing, and Verification, Warsaw, June 1995. North-Holland.","DOI":"10.1007\/978-0-387-34892-6_1"},{"key":"25_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BFb0022467","volume-title":"Semantics of Concurrent Computation","author":"H. J. Genrich","year":"1979","unstructured":"Hartmann J. Genrich and Kurt Lautenbach. The analysis of distributed systems by means of Predicate\/Transition-Nets. In Gilles Kahn, editor, Semantics of Concurrent Computation, volume 70 of Lecture Notes in Computer Science, pages 123\u2013146, Evian, France, July 1979. Springer-Verlag, 1979."},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Patrice Godefroid, Doron Peled and Mark Staskauskas. Using partial-order methods in the formal validation of industrial concurrent programs. IEEE Transactions on Software Engineering, 22(7):496\u2013507, July 1996.","DOI":"10.1109\/32.538606"},{"key":"25_CR7","series-title":"Lect Notes Comput Sci","first-page":"522","volume-title":"Algebraic Methodology and Software Technology, 7th International Conference, AMAST\u201998, Amazonia, Brazil","author":"B. Grahlmann","year":"1999","unstructured":"Bernd Grahlmann. The state of PEP. In Armando M. Haeberer, editor, Algebraic Methodology and Software Technology, 7 th International Conference, AMAST\u201998, Amazonia, Brazil, volume 1548 of Lecture Notes in Computer Science, pages 522\u2013526, Manaus, Brazil, January 1999. Springer-Verlag."},{"key":"25_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"642","DOI":"10.1007\/3-540-48119-2_36","volume-title":"World Congress on Formal Methods","author":"N. Husberg","year":"1999","unstructured":"Nisse Husberg and Tapio Manner. Emma: Developing an industrial reachability analyser for SDL. In World Congress on Formal Methods, volume 1708 of Lecture Notes in Computer Science, pages 642\u2013661, Toulouse, France, September 1999. Springer-Verlag."},{"issue":"3","key":"25_CR9","doi-asserted-by":"crossref","first-page":"269","DOI":"10.3233\/FI-1999-37305","volume":"37","author":"Tommi Junttila","year":"1999","unstructured":"Tommi Junttila. Finding symmetries of algebraic system nets. Fundamenta Informaticae, 37(3):269\u2013289, February 1999.","journal-title":"Fundamenta Informaticae"},{"key":"25_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/3-540-69108-1_19","volume-title":"Application and Theory of Petri Nets 1998: 19th International Conference, ICATPN\u201998","author":"E. Kindler","year":"1998","unstructured":"Ekkart Kindler and Hagen V\u00f6lzer. Flexibility in algebraic nets. In J\u00f6rg Desel and Manuel Silva, editors, Application and Theory of Petri Nets 1998: 19 th International Conference, ICATPN\u201998, volume 1420 of Lecture Notes in Computer Science, pages 345\u2013364, Lisbon, Portugal, June 1998. Springer-Verlag."},{"key":"25_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/3-540-48683-6_17","volume-title":"Computer Aided Verification: 11th International Conference, CAV\u201999","author":"O. Kupferman","year":"1999","unstructured":"Orna Kupferman and Moshe Y. Vardi. Model checking of safety properties. In Nicolas Halbwachs and Doron Peled, editors, Computer Aided Verification: 11 th International Conference, CAV\u201999, volume 1633 of Lecture Notes in Computer Science, pages 172\u2013183, Trento, Italy, July 1999. Springer-Verlag."},{"issue":"1\u20134","key":"25_CR12","doi-asserted-by":"crossref","first-page":"175","DOI":"10.3233\/FI-2000-43123409","volume":"43","author":"T. Latvala","year":"2000","unstructured":"Timo Latvala and Keijo Heljanko. Coping with strong fairness. Fundamenta Informaticae, 43(1\u20134):175\u2013193, 2000.","journal-title":"Fundamenta Informaticae"},{"key":"25_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/3-540-45740-2_15","volume-title":"Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001","author":"T. Latvala","year":"2001","unstructured":"Timo Latvala. Model checking LTL properties of high-level Petri nets with fairness constraints. In Maciej Koutny, editors, Application and Theory of Petri Nets 2001, 22 nd International Conference, ICATPN 2001, volume 2075 of Lecture Notes in Computer Science, Newcastle upon Tyne, England, June 2001. Springer-Verlag [1], pages 242\u2013262."},{"key":"25_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/3-540-45740-2_16","volume-title":"Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001","author":"G. Lewis","year":"2001","unstructured":"Glenn Lewis and Charles Lakos. Incremental state space construction for coloured Petri nets. In Maciej Koutny, editors, Application and Theory of Petri Nets 2001, 22 nd International Conference, ICATPN 2001, volume 2075 of Lecture Notes in Computer Science, Newcastle upon Tyne, England, June 2001. Springer-Verlag [1], pages 263\u2013282."},{"key":"25_CR15","unstructured":"Marko M\u00e4kel\u00e4. Condensed storage of multi-set sequences. In Workshop on the Practical Use of High-Level Petri Nets, \u00c5rhus, Denmark, June 2000."},{"key":"25_CR16","series-title":"Informatik-Bericht","first-page":"129","volume-title":"Workshop Concurrency, Specification & Programming 2000","author":"M. M\u00e4kel\u00e4","year":"2000","unstructured":"Marko M\u00e4kel\u00e4. Applying compiler techniques to reachability analysis of high-level models. In Hans-Dieter Burkhard, Ludwik Czaja, Andrzej Skowron and Mario Lenz, editors, Workshop Concurrency, Specification & Programming 2000, Informatik-Bericht 140, pages 129\u2013141. Humboldt-Universit\u00e4t zu Berlin, Germany, October 2000."},{"key":"25_CR17","volume-title":"Research report","author":"M. M\u00e4kel\u00e4","year":"2001","unstructured":"Marko M\u00e4kel\u00e4. A reachability analyser for algebraic system nets. Research report A69, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, June 2001."},{"key":"25_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/3-540-45740-2_17","volume-title":"Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001","author":"M. M\u00e4kel\u00e4","year":"2001","unstructured":"Marko M\u00e4kel\u00e4. Optimising enabling tests and unfoldings of algebraic system nets. In Maciej Koutny, editors, Application and Theory of Petri Nets 2001, 22 nd International Conference, ICATPN 2001, volume 2075 of Lecture Notes in Computer Science, Newcastle upon Tyne, England, June 2001. Springer-Verlag [1], pages 283\u2013302."},{"key":"25_CR19","unstructured":"Marko M\u00e4kel\u00e4. Efficiently verifying safety properties with idle office computers. Unpublished manuscript."},{"key":"25_CR20","unstructured":"Marko M\u00e4kel\u00e4. Maria. On-line documentation, http:\/\/www.tcs.hut.fi\/maria\/ ."},{"issue":"4","key":"25_CR21","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1007\/s100090100057","volume":"3","author":"L. Ojala","year":"2001","unstructured":"Leo Ojala, Nisse Husberg and Teemu Tynj\u00e4l\u00e4. Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods. International Journal on Software Tools for Technology Transfer, 3(4):382\u2013393, 2001.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"25_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/3-540-44988-4_27","volume-title":"Application and Theory of Petri Nets 2001, 21st International Conference, ICATPN 2000","author":"K. Schmidt","year":"2000","unstructured":"Karsten Schmidt. LoLA: A low level analyser. In Mogens Nielsen and Dan Simpson, editors, Application and Theory of Petri Nets 2001, 21 st International Conference, ICATPN 2000, volume 1825 of Lecture Notes in Computer Science, pages 465\u2013474, \u00c5rhus, Denmark, June 2000. Springer-Verlag."},{"key":"25_CR23","series-title":"Research Report 63","volume-title":"Leksa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala","author":"A. Schulz","year":"2000","unstructured":"Andr\u00e9 Schulz and Teemu Tynj\u00e4l\u00e4. Translation rules from standard SDL to Maria input language. In Nisse Husberg, Tomi Janhunen and Ilkka Niemel\u00e4, editors, Leksa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala, Research Report 63, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, October 2000."},{"key":"25_CR24","unstructured":"Teemu Tynj\u00e4l\u00e4, Sari Lepp\u00e4nen and Vesa Luukkala. Verifying reliable data transmission over UMTS radio interface with high level Petri nets. Unpublished manuscript."},{"key":"25_CR25","unstructured":"Antti Valmari et al. Tampere Verification Tool. http:\/\/www.cs.tut.fi\/ohj\/VARG\/ ."},{"key":"25_CR26","volume-title":"Technical Report B13","author":"K. Varpaaniemi","year":"1995","unstructured":"Kimmo Varpaaniemi, Jaakko Halme, Kari Hiekkanen and Tino Pyssysalo. PROD reference manual. Technical Report B13, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1995."},{"key":"25_CR27","unstructured":"Universal Mobile Telecommunications System (UMTS); RLC protocol specification (3GPP TS 25.322 version 3.5.0 Release 1999). ETSI TS 125 322 V3.5.0 (2000-12). European Telecommunications Standards Institute, December 2000."},{"key":"25_CR28","unstructured":"Standard for Information Technology\u2014Portable Operating System Interface. IEEE Std 1003.1-2001. Institute of Electrical and Electronics Engineers, New York, NY, USA, December 2001."},{"key":"25_CR29","unstructured":"CCITT Specification and Description Language (SDL). Recommendation Z.100. International Telecommunication Union, Geneva, Switzerland, October 1996."},{"key":"25_CR30","unstructured":"Message Sequence Chart (MSC). Recommendation Z.120. International Telecommunication Union, Geneva, Switzerland, November 1999."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48068-4_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T11:47:45Z","timestamp":1683892065000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48068-4_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437871","9783540480686"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-48068-4_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}