{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,29]],"date-time":"2026-09-29T12:35:20Z","timestamp":1790685320742,"version":"4.1.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319194875","type":"print"},{"value":"9783319194882","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19488-2_13","type":"book-chapter","created":{"date-parts":[[2015,6,4]],"date-time":"2015-06-04T05:13:45Z","timestamp":1433394825000},"page":"254-265","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":40,"title":["SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper)"],"prefix":"10.1007","author":[{"given":"Franck","family":"Pommereau","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,6,4]]},"reference":[{"key":"13_CR1","unstructured":"Beazley, D.M., Fulton, W.: SWIG \u2013 Simplified Wrapper and Interface Generator. http:\/\/www.swig.org"},{"key":"13_CR2","unstructured":"Behnel, S., Bradshaw, R., Dalc\u00edn, L., Florisson, M., Makarov, V., Seljebotn, D.S.: Cython \u2013 C-extensions for Python. http:\/\/cython.org"},{"key":"13_CR3","unstructured":"Berthomieu, B., Vernadat, F.: Time Petri nets analysis with TINA. In: Proc. of QEST 2006. IEEE Computer Society (2006)"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Best, E., Devillers, R., Koutny, M.: Petri net algebra. Springer (2001)","DOI":"10.1007\/978-3-662-04457-5"},{"key":"13_CR5","unstructured":"Bilgin, A., Ellson, J., Gansner, E., Hu, Y., North, S.: Graphviz \u2013 Graph Visualization Software. http:\/\/graphviz.org"},{"key":"13_CR6","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":"13_CR7","unstructured":"Di Guisto, C., Klaudel, H., Delaplace, F.: Systemic approach for toxicity analysis. In: Proc. of BioPPN 2014. Workshop Proceedings, vol. 1159. CEUR (2014)"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Duret-Lutz, A.: LTL translation improvements in Spot. In: Proc. of VECoS 2011. Electronic Workshops in Computing, British Computer Society (2011)","DOI":"10.14236\/ewic\/VECOS2011.8"},{"key":"13_CR9","unstructured":"Evangeliste, S.: HELENA, a high level net analyzer. http:\/\/lipn.univ-paris13.fr\/evangelista\/helena"},{"key":"13_CR10","unstructured":"Free Software Foundation: GNU Lesser General Public License. http:\/\/www.gnu.org\/licenses\/lgpl.html"},{"key":"13_CR11","unstructured":"Fronc, \u0141.: Neco net compiler. http:\/\/code.google.com\/p\/neco-net-compiler"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Fronc, \u0141.: Effective marking equivalence checking in systems with dynamic process creation. In: Proc. of Infinity 2012. Electronic Proceedings in Theoretical Computer Science (2012)","DOI":"10.4204\/EPTCS.107.6"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"13_CR14","unstructured":"Fronc, \u0141., Pommereau, F.: Building Petri nets tools around Neco compiler. In: Proc. of PNSE 2013 (2013)"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Gava, F., Pommereau, F., Guedj, M.: A BSP algorithm for on-the-fly checking CTL* formulas on security protocols. The Journal of Supercomputing (2014)","DOI":"10.1007\/s11227-014-1099-8"},{"key":"13_CR16","unstructured":"Group, T.C.: CPN tools. http:\/\/cpntools.org"},{"key":"13_CR17","unstructured":"Haddad, S., Kordon, F., Petruci, L.: CosyVerif. http:\/\/cosyverif.org"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets, Monographs in Theoretical Computer Science, vol. 2. Springer (1997)","DOI":"10.1007\/978-3-642-60794-3"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Kindler, E., Weber, M.: The Petri Net Kernel: An infrastructure for building Petri net tools. Software Tools for Technology Transfer 3 (1999)","DOI":"10.1007\/s100090100055"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Klaudel, H., Koutny, M., Pelz, E., Pommereau, F.: State space reduction for dynamic process creation. Scientific Annals of Computer Science 20 (2010)","DOI":"10.1109\/ISCIS.2009.5291864"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Mohamed, M., Amziani, M., Bela\u00efd, D., Tata, S., Melliti, T.: An autonomic approach to manage elasticity of business processes in the Cloud. Future Generation Computer Systems (2014) (To appear)","DOI":"10.1016\/j.future.2014.10.017"},{"key":"13_CR22","unstructured":"Pommereau, F.: SNAKES out of Python. http:\/\/www.ibisc.univ-evry.fr\/fpommereau\/SNAKES\/snakes-out-of-python.html"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Pommereau, F.: Quickly prototyping Petri nets tools with SNAKES. Petri net newsletter 10 (2008)","DOI":"10.4108\/ICST.SIMUTOOLS2008.3007"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Pommereau, F.: Quickly prototyping Petri nets tools with SNAKES. In: Proc. of PNTAP 2008. ACM Digital Library. ACM (2008)","DOI":"10.4108\/ICST.SIMUTOOLS2008.3007"},{"key":"13_CR25","unstructured":"Pommereau, F.: Nets in nets with SNAKES. In: Proc. of MOCA 2009. Universit\u00e4t Hamburg, Dept. Informatik, Hamburg (2009)"},{"key":"13_CR26","unstructured":"Pommereau, F.: Algebras of coloured Petri nets. Lambert Academic Publishing (2010)"},{"key":"13_CR27","unstructured":"Python Software Foundation: Alternative Python implementations. http:\/\/www.python.org\/download\/alternatives"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/10722298_10","volume-title":"Implementation of Functional Languages","author":"C Reinke","year":"2000","unstructured":"Reinke, C.: Haskell-coloured petri nets. In: Koopman, P., Clack, C. (eds.) IFL 1999. LNCS, vol. 1868, pp. 165\u2013180. Springer, Heidelberg (2000)"},{"key":"13_CR29","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":"13_CR30","unstructured":"Van Pham, V.: Modelling and analysing open reconfigurable systems. Ph.D. thesis, Univ. \u00c9vry \/ Paris-Saclay (2014)"}],"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-19488-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T01:51:40Z","timestamp":1676944300000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19488-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319194875","9783319194882"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19488-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"4 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}