{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:37Z","timestamp":1751983657073,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422525"},{"type":"electronic","value":"9783540457404"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45740-2_17","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T15:30:51Z","timestamp":1195140651000},"page":"283-302","source":"Crossref","is-referenced-by-count":10,"title":["Optimising Enabling Tests and Unfoldings of Algebraic System Nets"],"prefix":"10.1007","author":[{"given":"Marko","family":"M\u00e4kel\u00e4","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"key":"17_CR1","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C.-L. Chang","year":"1973","unstructured":"Chin-Liang Chang and Richard Char-Tung Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, NY, USA, 1973."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Gianfranco Chiola, Giuliana Franceschinis and Rossano Gaeta. A symbolic simulation mechanism for well-formed coloured Petri nets. In Philip Wilsey, editor, Proceedings, 25th Annual Simulation Symposium, pages 192\u2013201, Orlando, FL, USA, April 1992. IEEE Computer Society Press, Los Alamitos, CA, USA.","DOI":"10.1109\/SIMSYM.1992.227562"},{"key":"17_CR3","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF00289519","volume":"1","author":"E. W. Dijkstra","year":"1971","unstructured":"Edsger Wybe Dijkstra. Hierarchical ordering of sequential processes. Acta Informatica, 1:115\u2013138, 1971.","journal-title":"Acta Informatica"},{"issue":"9","key":"17_CR4","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1109\/32.541434","volume":"22","author":"R. Gaeta","year":"1996","unstructured":"Rossano Gaeta. Efficient discrete-event simulation of colored Petri nets. IEEE Transactions on Software Engineering, 22(9):629\u2013639, September 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17_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, Berlin, Germany, 1979."},{"key":"17_CR6","unstructured":"Torben Bisgaard Haagh and Tommy Rudmose Hansen. Optimising a Coloured Petri Net Simulator. Master\u2019s thesis, University of \u00c5rhus, Denmark, December 1994. http:\/\/www.daimi.au.dk\/CPnets\/publ\/thesis\/HanHaa1994.pdf ."},{"key":"17_CR7","unstructured":"Jean-Michel Ili\u00e9, Yasmina Ma\u00eezi and Denis Poitrenaud. Towards an efficient simulation based on well-formed Petri nets, extended with test and inhibitor arcs. In Tuncer I. Oren and Louis G. Birta, editors, 1995 Summer Computer Simulation Conference, pages 70\u201375, Ottawa, Canada, July 1995. Society for Computer Simulation International."},{"key":"17_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1007\/3-540-56863-8_53","volume-title":"Application and Theory of Petri Nets","author":"J.-M. Ili\u00e9","year":"1993","unstructured":"Jean-Michel Ili\u00e9 and Omar Rojas. On well-formed nets and optimizations in enabling tests. In Marco Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 300\u2013318, Chicago, IL, USA, June 1993. Springer-Verlag, Berlin, Germany."},{"key":"17_CR9","volume-title":"Monographs in Theoretical Computer Science","author":"K. Jensen","year":"1992","unstructured":"Kurt Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use: Volume 1, Basic Concepts. Monographs in Theoretical Computer Science. Springer-Verlag, Berlin, Germany, 1992."},{"key":"17_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: 19th International Conference, ICATPN\u201998, volume 1420 of Lecture Notes in Computer Science, pages 345\u2013364, Lisbon, Portugal, June 1998. Springer-Verlag, Berlin, Germany."},{"key":"17_CR11","unstructured":"Marko M\u00e4kel\u00e4. Maria-Modular Reachability Analyser for Algebraic System Nets. On-line documentation, http:\/\/www.tcs.hut.fi\/maria\/ ."},{"key":"17_CR12","series-title":"Licentiate\u2019s thesis","volume-title":"A Reachability Analyser for Algebraic System Nets","author":"M. M\u00e4kel\u00e4","year":"2000","unstructured":"Marko M\u00e4kel\u00e4. A Reachability Analyser for Algebraic System Nets. Licentiate\u2019s thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Espoo, Finland, March 2000."},{"key":"17_CR13","series-title":"DAIMI report PB","first-page":"111","volume-title":"Practical Use of High-Level Petri Nets","author":"M. M\u00e4kel\u00e4","year":"2000","unstructured":"Marko M\u00e4kel\u00e4. Condensed storage of multi-set sequences. In Kurt Jensen, editor, Practical Use of High-Level Petri Nets, DAIMI report PB-547, pages 111\u2013125. University of \u00c5rhus, Denmark, June 2000."},{"key":"17_CR14","series-title":"Informatik-Bericht","first-page":"129","volume-title":"Workshopon 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 Peter Starke, editors, Workshopon Concurrency, Specification & Programming 2000, Informatik-Bericht 140, pages 129\u2013142. Humboldt-Universit\u00e4t zu Berlin, Germany, October 2000."},{"key":"17_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"Wolfgang Reisig. Petri Nets: An Introduction. Springer-Verlag, Berlin, Germany, 1985."},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Michael J. Sanders. Efficient computation of enabled transition bindings in highlevel Petri nets. In 2000 IEEE International Conference on Systems, Man and Cybernetics, pages 3153\u20133158, Nashville, TN, USA, October 2000.","DOI":"10.1109\/ICSMC.2000.886480"},{"key":"17_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-44988-4_27","volume-title":"Application and Theory of Petri Nets 2000: 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 2000: 21st International Conference, ICATPN 2000, volume 1825 of Lecture Notes in Computer Science, pages 465\u2013474, \u00c5rhus, Denmark, June 2000. Springer-Verlag, Berlin, Germany."},{"key":"17_CR18","series-title":"Technical Report","volume-title":"PROD reference manual","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, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, August 1995."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45740-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T11:31:05Z","timestamp":1737545465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45740-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422525","9783540457404"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45740-2_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}