{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:13:10Z","timestamp":1743052390123,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319390857"},{"type":"electronic","value":"9783319390864"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39086-4_12","type":"book-chapter","created":{"date-parts":[[2016,6,8]],"date-time":"2016-06-08T09:09:16Z","timestamp":1465376956000},"page":"176-195","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["ABCD: A User-Friendly Language for Formal Modelling and Analysis"],"prefix":"10.1007","author":[{"given":"Franck","family":"Pommereau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,9]]},"reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11513988_27","volume-title":"Computer Aided Verification","author":"A Armando","year":"2005","unstructured":"Armando, A., et al.: The AVISPA tool for the automated validation of internet security protocols and applications. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 281\u2013285. Springer, Heidelberg (2005)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-55610-9_167","volume-title":"Advances in Petri Nets 1992, The DEMON Project","author":"E Best","year":"1992","unstructured":"Best, E., Devillers, R., Hall, J.G.: The box calculus: a new causal algebra with multi-label communication. In: Rozenberg, G. (ed.) Advances in Petri Nets 1992. LNCS, vol. 609, pp. 21\u201369. Springer, Heidelberg (1992)"},{"key":"12_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04457-5","volume-title":"Petri Net Algebra","author":"E Best","year":"2001","unstructured":"Best, E., Devillers, R., Koutny, M.: Petri Net Algebra. Springer, Heidelberg (2001)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/3-540-56891-3_30","volume-title":"PARLE 1993 Parallel Architectures and Languages Europe","author":"E Best","year":"1993","unstructured":"Best, E., Hopkins, R.P.: $$B(PN)^2$$ - a basic Petri net programming notation. In: Bode, A., Reeve, M., Wolf, G. (eds.) PARLE 1993 Parallel Architectures and Languages Europe. LNCS, vol. 694, pp. 379\u2013390. Springer, Heidelberg (1993)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Chaou, S., Utard, G., Pommereau, F.: Evaluating a peer-to-peer storage system in presence of malicious peers. In: Proceedings of HPCS 2011. IEEE Computer Society (2011)","DOI":"10.1109\/HPCSim.2011.5999855"},{"key":"12_CR6","unstructured":"Delaplace, F., Di Giusto, C., Giavitto, J.L., Klaudel, H., Spicher, A.: Activity networks with delays application to toxicity analysis. Technical report hal-01152719, I3S, Univ. Nice Sophia Antipolis (2015)"},{"key":"12_CR7","unstructured":"Di Guisto, C., Klaudel, H., Delaplace, F.: Systemic approach for toxicity analysis. In: Proceedings of BioPPN 2014. CEUR Workshop Proceedings, vol. 1159 (2014)"},{"issue":"2","key":"12_CR8","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.C.: On the security of public key protocols. IEEE Trans. Inf. Theory 29(2), 198\u2013208 (1983)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/978-3-319-02444-8_33","volume-title":"Automated Technology for Verification and Analysis","author":"\u0141 Fronc","year":"2013","unstructured":"Fronc, \u0141., Duret-Lutz, A.: LTL model checking with Neco. In: Van Hung, D., Ogawa, M. (eds.) ATVA 2013. LNCS, vol. 8172, pp. 451\u2013454. Springer, Heidelberg (2013)"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1007\/s11227-014-1099-8","volume":"69","author":"F Gava","year":"2014","unstructured":"Gava, F., Pommereau, F., Guedj, M.: A BSP algorithm for on-the-fly checking CTL* formulas on security protocols. J. Supercomput. 69, 629\u2013672 (2014)","journal-title":"J. Supercomput."},{"key":"12_CR11","unstructured":"Kordon, F., Buchs, D., Garavel, H., Hillah, L.: MCC 2016 - models. http:\/\/mcc.lip6.fr\/models.php"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Kordon, F., Linard, A., Buchs, D., Colange, M., Evangelista, S., Fronc, \u0141., Hillah, L.M., Lohmann, N., Paviot-Adet, E., Pommereau, F., Rohr, C., Thierry-Mieg, Y., Wimmel, H., Wolf, K. (eds.): Raw report on the model-checking contest at Petri nets 2012. CoRR arXiv:1209.2382, September 2012","DOI":"10.1007\/978-3-642-35179-2_8"},{"issue":"12","key":"12_CR13","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1145\/359657.359659","volume":"21","author":"RM Needham","year":"1978","unstructured":"Needham, R.M., Schroeder, M.D.: Using encryption for authentication in large networks of computers. Commun. ACM 21(12), 993\u2013999 (1978)","journal-title":"Commun. ACM"},{"key":"12_CR14","unstructured":"Parallel Systems Group, University of Oldenburg: The PEP tool. http:\/\/peptool.sourceforge.net"},{"key":"12_CR15","unstructured":"Pommereau, F.: Model-checking with ABCD and Neco. https:\/\/goo.gl\/FLVItx"},{"key":"12_CR16","unstructured":"Pommereau, F.: The SNAKES toolkit. http:\/\/www.ibisc.univ-evry.fr\/ fpommereau\/SNAKES\/ with sources at http:\/\/github.com\/fpom\/snakes"},{"key":"12_CR17","volume-title":"Algebras of Coloured Petri Nets","author":"F Pommereau","year":"2010","unstructured":"Pommereau, F.: Algebras of Coloured Petri Nets. Lambert Academic Publishing, Germany (2010)"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-319-19488-2_13","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"F Pommereau","year":"2015","unstructured":"Pommereau, F.: SNAKES: a flexible high-level Petri nets library. In: Devillers, R., Valmari, A. (eds.) PETRI NETS 20115. LNCS, vol. 9115, pp. 254\u2013265. Springer, Switzerland (2015)"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Sanjabi, S., Pommereau, F.: Modelling, verification, and formal analysis of security properties in a P2P system. In: Proceedings of COLSEC 2010. IEEE Digital Library, IEEE Computer Society (2010)","DOI":"10.1109\/CTS.2010.5478474"},{"key":"12_CR20","unstructured":"The Python Software Foundation: The Python tutorial. http:\/\/docs.python.org\/tutorial"},{"key":"12_CR21","unstructured":"The Python Software Foundation: Python website. http:\/\/www.python.org"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39086-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T03:05:22Z","timestamp":1699844722000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-39086-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319390857","9783319390864"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39086-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"9 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PETRI NETS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications and Theory of Petri Nets and Concurrency","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Torun","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 June 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 June 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}