{"id":596,"date":"2025-12-21T13:00:00","date_gmt":"2025-12-21T12:00:00","guid":{"rendered":"https:\/\/portfolio.cousseaujimmy.fr\/projets\/reseaux-petri\/"},"modified":"2026-09-11T15:40:59","modified_gmt":"2026-09-11T13:40:59","slug":"reseaux-petri","status":"publish","type":"projet","link":"https:\/\/portfolio.cousseaujimmy.fr\/es\/projets\/reseaux-petri\/","title":{"rendered":"Biblioteca de redes de Petri"},"content":{"rendered":"\n<p class=\"jcp-reveal wp-block-paragraph\">Grafo de alcanzabilidad, detecci\u00f3n de <strong>deadlock<\/strong> y <strong>livelock<\/strong>, <strong>\u00e1rbol de Karp-Miller<\/strong> (aceleraci\u00f3n \u03c9) para la finitud, simulaci\u00f3n temporizada con transiciones exponenciales, visualizaci\u00f3n DOT\/PNG, pruebas unitarias.<\/p>\n\n\n\n<figure class=\"wp-block-gallery has-nested-images columns-2 is-cropped jcp-reveal wp-block-gallery-1 is-layout-flex wp-block-gallery-is-layout-flex\">\n<figure class=\"wp-block-image size-jcp-card\"><img decoding=\"async\" width=\"623\" height=\"171\" data-id=\"576\" src=\"https:\/\/portfolio.cousseaujimmy.fr\/wp-content\/uploads\/2026\/09\/figure1.webp\" alt=\"\" class=\"wp-image-576\" srcset=\"https:\/\/portfolio.cousseaujimmy.fr\/wp-content\/uploads\/2026\/09\/figure1.webp 623w, https:\/\/portfolio.cousseaujimmy.fr\/wp-content\/uploads\/2026\/09\/figure1-300x82.webp 300w\" sizes=\"(max-width: 623px) 100vw, 623px\" \/><\/figure>\n\n\n<figure class=\"wp-block-image size-jcp-card\"><img decoding=\"async\" width=\"1295\" height=\"363\" data-id=\"575\" src=\"https:\/\/portfolio.cousseaujimmy.fr\/wp-content\/uploads\/2026\/09\/deadlock.webp\" alt=\"\" class=\"wp-image-575\" srcset=\"https:\/\/portfolio.cousseaujimmy.fr\/wp-content\/uploads\/2026\/09\/deadlock.webp 1295w, https:\/\/portfolio.cousseaujimmy.fr\/wp-content\/uploads\/2026\/09\/deadlock-300x84.webp 300w, https:\/\/portfolio.cousseaujimmy.fr\/wp-content\/uploads\/2026\/09\/deadlock-1024x287.webp 1024w, https:\/\/portfolio.cousseaujimmy.fr\/wp-content\/uploads\/2026\/09\/deadlock-768x215.webp 768w, https:\/\/portfolio.cousseaujimmy.fr\/wp-content\/uploads\/2026\/09\/deadlock-800x224.webp 800w\" sizes=\"(max-width: 1295px) 100vw, 1295px\" \/><\/figure>\n<\/figure>\n","protected":false},"excerpt":{"rendered":"<p>Modelado, an\u00e1lisis y simulaci\u00f3n de redes de Petri en Python: alcanzabilidad, deadlocks, Karp-Miller, simulaci\u00f3n estoc\u00e1stica.<\/p>\n","protected":false},"featured_media":576,"menu_order":11,"template":"","meta":{"_jcp_tagline":"Demostrar que un sistema concurrente no se bloquea, en un grafo, no con un test que pasa.","_jcp_role":"Proyecto en pareja, Modelos y Especificaciones (M\u00e1ster 2)","_jcp_org":"Universit\u00e9 Marie &amp; Louis Pasteur","_jcp_period":"2025 \u2192 2026","_jcp_sort":"2026-01","_jcp_repo":"","_jcp_live":"","_jcp_status":"done","_jcp_featured":false,"_jcp_stats":"","_jcp_accent":"#b39ddb","footnotes":""},"projet-type":[63],"stack":[101,113],"class_list":["post-596","projet","type-projet","status-publish","has-post-thumbnail","hentry","projet-type-academique","stack-python","stack-tests"],"_links":{"self":[{"href":"https:\/\/portfolio.cousseaujimmy.fr\/es\/wp-json\/wp\/v2\/projet\/596","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/portfolio.cousseaujimmy.fr\/es\/wp-json\/wp\/v2\/projet"}],"about":[{"href":"https:\/\/portfolio.cousseaujimmy.fr\/es\/wp-json\/wp\/v2\/types\/projet"}],"version-history":[{"count":7,"href":"https:\/\/portfolio.cousseaujimmy.fr\/es\/wp-json\/wp\/v2\/projet\/596\/revisions"}],"predecessor-version":[{"id":706,"href":"https:\/\/portfolio.cousseaujimmy.fr\/es\/wp-json\/wp\/v2\/projet\/596\/revisions\/706"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/portfolio.cousseaujimmy.fr\/es\/wp-json\/wp\/v2\/media\/576"}],"wp:attachment":[{"href":"https:\/\/portfolio.cousseaujimmy.fr\/es\/wp-json\/wp\/v2\/media?parent=596"}],"wp:term":[{"taxonomy":"projet-type","embeddable":true,"href":"https:\/\/portfolio.cousseaujimmy.fr\/es\/wp-json\/wp\/v2\/projet-type?post=596"},{"taxonomy":"stack","embeddable":true,"href":"https:\/\/portfolio.cousseaujimmy.fr\/es\/wp-json\/wp\/v2\/stack?post=596"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}