{"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\/en\/projets\/reseaux-petri\/","title":{"rendered":"Petri-net library"},"content":{"rendered":"\n<p class=\"jcp-reveal wp-block-paragraph\">Reachability graph, <strong>deadlock<\/strong> and <strong>livelock<\/strong> detection, <strong>Karp-Miller tree<\/strong> (\u03c9-acceleration) for boundedness, timed simulation with exponential transitions, DOT\/PNG visualisation, unit tests.<\/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>Petri-net modelling, analysis and simulation in Python: reachability, deadlocks, Karp-Miller, stochastic simulation.<\/p>\n","protected":false},"featured_media":576,"menu_order":11,"template":"","meta":{"_jcp_tagline":"Proving a concurrent system never blocks \u2014 on a graph, not on a passing test.","_jcp_role":"Pair project, Models &amp; Specifications (Master's 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\/en\/wp-json\/wp\/v2\/projet\/596","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/portfolio.cousseaujimmy.fr\/en\/wp-json\/wp\/v2\/projet"}],"about":[{"href":"https:\/\/portfolio.cousseaujimmy.fr\/en\/wp-json\/wp\/v2\/types\/projet"}],"version-history":[{"count":7,"href":"https:\/\/portfolio.cousseaujimmy.fr\/en\/wp-json\/wp\/v2\/projet\/596\/revisions"}],"predecessor-version":[{"id":706,"href":"https:\/\/portfolio.cousseaujimmy.fr\/en\/wp-json\/wp\/v2\/projet\/596\/revisions\/706"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/portfolio.cousseaujimmy.fr\/en\/wp-json\/wp\/v2\/media\/576"}],"wp:attachment":[{"href":"https:\/\/portfolio.cousseaujimmy.fr\/en\/wp-json\/wp\/v2\/media?parent=596"}],"wp:term":[{"taxonomy":"projet-type","embeddable":true,"href":"https:\/\/portfolio.cousseaujimmy.fr\/en\/wp-json\/wp\/v2\/projet-type?post=596"},{"taxonomy":"stack","embeddable":true,"href":"https:\/\/portfolio.cousseaujimmy.fr\/en\/wp-json\/wp\/v2\/stack?post=596"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}