{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,19]],"date-time":"2025-04-19T20:22:10Z","timestamp":1745094130143,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540263012"},{"type":"electronic","value":"9783540315599"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11494744_26","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T02:31:09Z","timestamp":1279074669000},"page":"455-464","source":"Crossref","is-referenced-by-count":25,"title":["High Level Petri Nets Analysis with Helena"],"prefix":"10.1007","author":[{"given":"Sami","family":"Evangelista","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-44947-7_12","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2003","author":"S. Evangelista","year":"2003","unstructured":"Evangelista, S., Kaiser, C., Pradat-Peyre, J.F., Rousseau, P.: Quasar: a new tool for analyzing concurrent programs. In: Rosen, J.-P., Strohmeier, A. (eds.) Ada-Europe 2003. LNCS, vol.\u00a02655, pp. 168\u2013181. Springer, Heidelberg (2003)"},{"key":"26_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1007\/3-540-48068-4_25","volume-title":"Application and Theory of Petri Nets 2002","author":"M. M\u00e4kel\u00e4","year":"2002","unstructured":"M\u00e4kel\u00e4, M.: Maria: modular reachability analyser for algebraic system nets. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, pp. 434\u2013444. Springer, Heidelberg (2002)"},{"key":"26_CR3","unstructured":"Varpaaniemi, K.: PROD 3.4.00 \u2014 an advanced tool for efficient reachability analysis. Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland, Software (2004)"},{"key":"26_CR4","unstructured":"M\u00e4kel\u00e4, M.: Condensed storage of multi-set sequences. In: Practical Use of High-Level Petri Nets, University of \u00c5rhus, Denmark. DAIMI report PB, vol.\u00a0547, pp. 111\u2013125 (2000)"},{"issue":"5","key":"26_CR5","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker spin. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"26_CR6","unstructured":"M\u00e4kel\u00e4, M.: Applying compiler techniques to reachability analysis of high-level models. In: Workshop on Concurrency, Specification & Programming 2000, Informatik-Bericht, Humboldt-Universit\u00e4t zu Berlin, Germany. vol.\u00a0140, pp. 129\u2013142 (2000)"},{"key":"26_CR7","unstructured":"Evangelista, S., Pradat-Peyre, J.F.: An efficient algorithm for the enabling test of colored petri nets. In: Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, University of \u00c5rhus, Denmark. DAIMI report PB, vol.\u00a0570, pp. 137\u2013156 (2004)"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Dutheillet, C., Haddad, S.: Conflict sets in colored petri nets. In: Proceedings of the 5th International Workshop on Petri Nets and Performance Models, pp. 76\u201385 (1993)","DOI":"10.1109\/PNPM.1993.393433"},{"key":"26_CR9","unstructured":"Evangelista, S.: Syntactical rules for colored petri nets manipulation. Technical Report 641, Cedric, CNAM (2004), http:\/\/cedric.cnam.fr"},{"key":"26_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/3-540-45740-2_17","volume-title":"Applications and Theory of Petri Nets 2001","author":"M. M\u00e4kel\u00e4","year":"2001","unstructured":"M\u00e4kel\u00e4, M.: Optimising enabling tests and unfoldings of algebraic system nets. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, pp. 283\u2013302. Springer, Heidelberg (2001)"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Evangelista, S., Pradat-Peyre, J.F.: Efficient state space storage in explicit model checking. Technical Report 682, Cedric, CNAM (2004), http:\/\/cedric.cnam.fr\/","DOI":"10.1007\/11537328_7"},{"key":"26_CR12","unstructured":"Visser, W.: Memory efficient state storage in spin. In: Proceedings of the Second Spin Workshop (1996)"},{"key":"26_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/978-3-540-47919-2_13","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"G. Berthelot","year":"1987","unstructured":"Berthelot, G.: Transformations and decompositions of nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0254, pp. 359\u2013376. Springer, Heidelberg (1987)"},{"key":"26_CR14","series-title":"Lecture Notes in Computer Science","first-page":"399","volume-title":"Advances in Petri Nets 1989","author":"S. Haddad","year":"1990","unstructured":"Haddad, S.: A reduction theory for colored nets. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol.\u00a0424, pp. 399\u2013425. Springer, Heidelberg (1990)"},{"issue":"1-2","key":"26_CR15","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0166-5316(95)00008-L","volume":"24","author":"G. Chiola","year":"1995","unstructured":"Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M.: Greatspn 1.7: graphical editor and analyzer for timed and stochastic petri nets. Performance Evaluation\u00a024(1-2), 47\u201368 (1995)","journal-title":"Performance Evaluation"},{"key":"26_CR16","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/MASCOT.2004.1348184","volume-title":"Proceedings of the 12th IEEE\/ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2004)","author":"A. Duret-Lutz","year":"2004","unstructured":"Duret-Lutz, A., Poitrenaud, D.: Spot: an extensible model checking library using transition-based generalized B\u00fcchi automata. In: Proceedings of the 12th IEEE\/ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2004), pp. 76\u201383. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"26_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/3-540-56922-7_33","volume-title":"Computer Aided Verification","author":"A. Valmari","year":"1993","unstructured":"Valmari, A.: On-the-fly verification with stubborn sets. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol.\u00a0697, pp. 397\u2013408. Springer, Heidelberg (1993)"},{"key":"26_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/3-540-65306-6_21","volume-title":"Lectures on Petri Nets I: Basic Models","author":"A. Valmari","year":"1998","unstructured":"Valmari, A.: The state explosion problem. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 429\u2013528. Springer, Heidelberg (1998)"},{"key":"26_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/3-540-69108-1_7","volume-title":"Application and Theory of Petri Nets 1998","author":"L.M. Kristensen","year":"1998","unstructured":"Kristensen, L.M., Valmari, A.: Finding stubborn sets of coloured petri nets without unfolding. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 104\u2013123. Springer, Heidelberg (1998)"},{"key":"26_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1007\/3-540-45319-9_39","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Beaudouin-Lafon","year":"2001","unstructured":"Beaudouin-Lafon, M., Mackay, W.E., Jensen, M., Andersen, P., Janecek, P., Lassen, M., Lund, K., Mortensen, K., Munck, S., Ratzer, A., Ravn, K., Christensen, S., Jensen, K.: CPN\/tools: A tool for editing and simulating coloured petri nets. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, p. 574. Springer, Heidelberg (2001)"},{"key":"26_CR21","unstructured":"Haddad, S., Pradat-Peyre, J.F.: New powerfull Petri nets reductions. Technical report, Cedric, CNAM (2003), http:\/\/cedric.cnam.fr\/"},{"key":"26_CR22","unstructured":"Evangelista, S., Haddad, S., Pradat-Peyre, J.F.: New coloured reductions for software validation. In: Proccedings of the 7th International workshop on discrete event systems, pp. 355\u2013360 (2004)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2005"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494744_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T22:05:15Z","timestamp":1740261915000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494744_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540263012","9783540315599"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11494744_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}