{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:20:03Z","timestamp":1725744003369},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642404641"},{"type":"electronic","value":"9783642404658"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40465-8_4","type":"book-chapter","created":{"date-parts":[[2013,8,4]],"date-time":"2013-08-04T20:58:46Z","timestamp":1375649926000},"page":"71-88","source":"Crossref","is-referenced-by-count":0,"title":["From Code to Coloured Petri Nets: Modelling Guidelines"],"prefix":"10.1007","author":[{"given":"Anna","family":"Dedova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laure","family":"Petrucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"CPN Tools Homepage: \n                  \n                    http:\/\/cpntools.org\/"},{"key":"4_CR2","unstructured":"The Coloane tool Homepage, \n                  \n                    https:\/\/coloane.lip6.fr\/"},{"key":"4_CR3","unstructured":"The CPN-AMI Homepage, \n                  \n                    http:\/\/move.lip6.fr\/software\/CPNAMI\/"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-642-13675-7_10","volume-title":"Applications and Theory of Petri Nets","author":"C. Choppy","year":"2010","unstructured":"Choppy, C., Dedova, A., Evangelista, S., Hong, S., Klai, K., Petrucci, L.: The NEO protocol for large-scale distributed database systems: Modelling and initial verification. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol.\u00a06128, pp. 145\u2013164. Springer, Heidelberg (2010)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-642-35179-2_9","volume-title":"Transactions on Petri Nets and Other Models of Concurrency VI","author":"C. Choppy","year":"2012","unstructured":"Choppy, C., Dedova, A., Evangelista, S., Kla\u00ef, K., Petrucci, L., Youcef, S.: Modelling and formal verification of the NEO protocol. In: Jensen, K., van der Aalst, W.M., Ajmone Marsan, M., Franceschinis, G., Kleijn, J., Kristensen, L.M. (eds.) Transactions on Petri Nets and Other Models of Concurrency VI. LNCS, vol.\u00a07400, pp. 197\u2013225. Springer, Heidelberg (2012)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-68624-8_6","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2008","author":"C. Choppy","year":"2008","unstructured":"Choppy, C., Petrucci, L., Reggio, G.: A modelling approach with coloured Petri nets. In: Kordon, F., Vardanega, T. (eds.) Ada-Europe 2008. LNCS, vol.\u00a05026, pp. 73\u201386. Springer, Heidelberg (2008)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/978-3-540-27755-2_12","volume-title":"Lectures on Concurrency and Petri Nets","author":"G. Denaro","year":"2004","unstructured":"Denaro, G., Pezz\u00e9, M.: Petri nets and software engineering. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 439\u2013466. Springer, Heidelberg (2004)"},{"key":"4_CR8","first-page":"17","volume-title":"Proc. Workshop on Petri Nets and Distributed Systems, PNDS 2008, Associated with Petri Nets 2008","author":"J. Desel","year":"2008","unstructured":"Desel, J., Petrucci, L.: Aggregating views for Petri net model construction. In: Proc. Workshop on Petri Nets and Distributed Systems, PNDS 2008, Associated with Petri Nets 2008, pp. 17\u201331. Xi\u2019an, China (2008)"},{"issue":"4","key":"4_CR9","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/201024.201038","volume":"3","author":"S. Duri","year":"1994","unstructured":"Duri, S., Buy, U., Devarapalli, R., Shatz, S.M.: Application and experimental evaluation of state space reduction methods for deadlock analysis in ada. ACM Trans. Softw. Eng. Methodol.\u00a03(4), 340\u2013380 (1994)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/11494744_26","volume-title":"Applications and Theory of Petri Nets 2005","author":"S. Evangelista","year":"2005","unstructured":"Evangelista, S.: High Level Petri Nets Analysis with Helena. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 455\u2013464. Springer, Heidelberg (2005)"},{"key":"4_CR11","unstructured":"Farooq, U., Lam, C.P., Li, H.: Transformation methodology for UML 2.0 activity diagram into colored Petri nets. In: Proceedings of the Third Conference on IASTED International Conference: Advances in Computer Science and Technology, ACST 2007, Anaheim, CA, USA, pp. 128\u2013133. ACTA Press (2007)"},{"issue":"4","key":"4_CR12","doi-asserted-by":"publisher","first-page":"25","DOI":"10.5381\/jot.2010.9.4.a2","volume":"9","author":"E. Kerkouche","year":"2010","unstructured":"Kerkouche, E., Chaoui, A., Bourennane, E.-B., Labbani, O.: A uml and colored petri nets integrated modeling and analysis approach using graph transformation. Journal of Object Technology\u00a09(4), 25\u201343 (2010)","journal-title":"Journal of Object Technology"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Basic Concepts. Springer (1992)","DOI":"10.1007\/978-3-662-06289-0"},{"key":"4_CR14","unstructured":"Saldhana, J.A., Shatz, S.M.: Uml diagrams to object petri net models: An approach for modeling and analysis. In: International Conference on Software Engineering and Knowledge Engineering, pp. 103\u2013110 (2000)"},{"key":"4_CR15","unstructured":"The CosyVerif group. CosyVerif Web page, \n                  \n                    http:\/\/www.cosyverif.org"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Voron, J., Kordon, F.: Transforming Sources to Petri Nets: A Way to Analyze Execution of Parallel Programs. In: International Workshop on Petri Nets Tools and APplications (PNTAP), pp. 1\u201310. ACM (2008)","DOI":"10.4108\/ICST.SIMUTOOLS2008.3055"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency VIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40465-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T05:53:33Z","timestamp":1557986013000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40465-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642404641","9783642404658"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40465-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}