CINXE.COM

<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;max-width:60rem;padding-left:1.5rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{font-size:1.5rem;font-weight:500;line-height:2.25rem}@media (width <= 720px){.h2{font-size:1.25rem;line-height:1.5rem}}#challenge-error-text{background-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+);background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme:dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="120"></head><body class="no-js"><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt={cvId: '3',cZone: "publications.waset.org",cType: 'non-interactive',cRay: '913601f68db26016',cH: 'w22HOi62qY4w0B8L.qcSofCpcijr9dokEsfOCe7ICYg-1739797722-1.2.1.1-oUwwhU3gwWTvucesAQN5VfsNBVAqazqei5uOSCdQuXsmtwsh9J_qGT.oY155wADb',cUPMDTk: "\/abstracts\/search?q=petri%20net&__cf_chl_tk=Lx4dnUJA6xFHDKrYdZJoxPcaZ6tmvFBf.merE.VsnNA-1739797722-1.0.1.1-hhLauLJf_oaQErGUr.lNyJ0dr5LnfSjyhA.tMgTvNds",cFPWv: 'b',cITimeS: '1739797722',cTTimeMs: '1000',cMTimeMs: '120000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "",fa: "\/abstracts\/search?q=petri%20net&__cf_chl_f_tk=Lx4dnUJA6xFHDKrYdZJoxPcaZ6tmvFBf.merE.VsnNA-1739797722-1.0.1.1-hhLauLJf_oaQErGUr.lNyJ0dr5LnfSjyhA.tMgTvNds",md: "gyPIJphH5HAzUFD38ilYU1wxpUCTu.PB7Bh2T5h9.0w-1739797722-1.2.1.1-s.nl_wEBSSLK034D5C8X2LmMqbHGTJdQcvhj_bXx6nG4VnvrTQOQQlcBJRlVtTviGXypW_lnoDtekANWcOx9bkzyRBz98QP5gVTAkQxGre351pTibpdJpYRddzdRTahew.PvFZ827210jpP9wIygWn589HE_VqY7M9IXvG8PDhT3wTFJtG2ErP5oZnkUqHFLbQWKw52BResJqTZsnBEHz4ZuHLzWWnl6rryPjlcFbTOmAwdx1q9kUS6.weBPspnSDRuqaE4Eq74w.4o3BklO9X0mLFz3JIzNNvJ3a_XoRkEu.7mS5wE1VMJI285qEbwzgqrZFJvqsuvb8wyvNn9wWw2hEzstVNmVRPtnlxiFMRHTx2_5V5dhZZJmnfh_TsKOzI640aOBSwSbiJwJzisI1XE2FIAxRFEJKDk7B.PaPjOmSaQsv4YC6bX_ZFlSfPfKjZ2Ltdh7L_CMLmHDwacKwZmnlnb7BYn1ZDarB5ggnZHPw7np8mPQUcgeBvZRH0QFooA5GL1ppHt5gdkkQDKVDZY5CjDQuiZXzXqjmHSW_rX57VNNCYRKObPmPx0GOHM21TnIMK8l4pPRPfRTR9wiYuv6Li70Ot80nd358ZRr926ul1dSuwn73HEZvtRVFjNjjjev_9fniIDfK4yQS3lefQ4B7w2H1DlHPXfb3to8FN9zNKoE3cGtLYK5Qrmynd.MZGW9RBb1NlxSXlmb5GDKSdYl6CrZPAxlRV4K9feHlxjUi.oUhVrGDssX60XHBpNWXxRyCtEtRJI35czc6QJz0sFDj0QzsIDZqDXRjor_1Hb3HHC7P5wXskjgLBNGYVcftqAOkDdR46ao_ImdpAGy24EQNbgMeZ_Nm1_h_Mx2WonWnJbUeWjPQZRaCMqR9LRpjvFMwX5HChOPaMJ9v9A3W4xeGV3wC5oSP2CdWKjErldN9cfcPeQF9xSHRD0g1apuCJ7swfLPmKnwJfHqsLxWObBaWBe0OoTEph1QNkn0lKpXgaHCe.L6qhVHX9d4wfKBSyc0Axo8mpicXJIX7H7on_a9o6PSb8VTjf6k8Vy5ypCmohUfo7ip7IQRIIhmzhPt9RjHlFHCJRsO3Uo_H.M.GJHP7Z9X4VYMQuVDmLg0UA.46Wq1THodmNOT0F72Z8oLya7fscSCKV1IH0fBAelMPmCH0A_GPUjQFSxexSYQ2OEJ4dK9zYBtkScZE.Qi_QRhy3IhEcu2q1Ks4.XHS7Iv3t3iQGA3VIhFC1CXQwxN.HV9KfIHOcrElV.U_yjm3ZrQhm6W7JBsDbMdPxe9tWeZjHOHOtDvV3Tgfr3J4QR3PRRJVZJNDj_nbymUMEcpPw7Bpxq4aUTxZtiXjVy0DPe8PDL4RasXeiR7v3e7oq_OMQKRONrwghBrKLL.0iJYKOqVTYTGf_soeF0uO_ub4cyoSXAqlq4ZnD1miyT61lILEyJBxc_HONAC0bvQGQ9KqSCF3tOWgx.UTEQ2wgTUmQSzj0KhMm11yhcZgAwQjX8qI7D4ylKa4jGaih891zN5v4a8yhltL9ewTN7TFwdSGIgCWDacAfvlyxFE_dEtLvRXuQ1HGXOpJvR8jnRCtq8xz7zRLSG6HqtJndM1s9wDDzUO68mtEkvCmyhACVwXXsv693K8VMRPfLFHNPXbst8281Q8IFHmleDW1.cVKfpCmWv2pHin1Ec1zBMXXSz8PieZe2TBU0y42SpoiOC0p2IgB16bTj7QiNm3Est_UlDckipAtp7_8jf5cPTruHsiBmKCLlR_QgFHZvKuRRn1vh5TyNDdKMTEl6gpUDJotLMQNZIQfH5N3bAfRuG8CBz94OlnDxZ.lEjXaXi4HasvZsmyDKuxkgr3PRUzzw3bbIrQrQzmtpXYM7_iyGfT4EakmKS1Xs7PU8ljPiS1bh_asvZZMNyKuQ1vNph3omGY8AHHa7DUiA",mdrd: "w8K6sFZTPDI.36UDpfOGXu5lJz8T_SEmW4jIdXfR5So-1739797722-1.2.1.1-oUCd_ECw6dDPxNZ4R8Xw7_4Gt6OQ15UozURLZRpROtXdd2a1albi5yTCT0VlCAcrHb1fDnIw5H4C2Ornq_6qdw07OTZFqsZiEtyR0qMmy2lO.YGv.txgoApTJnMnWTIaJjgkkQHIRJ_rjkTASztD9BRhEXtnfcAl_EYIFevAQ.nnrXNary2mJ2Ccwd3dlhc.wD.RAldobfH8ZGLwQBK5bqAR_Ym.WZpTWRmkNxuV9uMMdvgFV4FdN8IbUBApovcte3kuIHutITqM0G6rY1WvB0G_N86lnAbhaXpPLetB1fGHO23nocwRMCjmBz0LNSRSaltv.Jq7go.e9iMtt.yBHJ2pJ8587w7NZKrfXgCGTXaUVDDsdo0nnudBnm9OoCOhqkQnZAqJNV3bDTsTHIDzEoGObQCPHDlp3XJD9WIao5xIAvvvchYvP9k_Qgr6TBKSMK7jBuxhKlisc4gzvbdp5FbQn2h7h5sxrHWXo0KcWN87_TL7ENncgkwLR49F3fSmrOjySYNnuZVMp3s1fm0dmX6dyldkwrhF4Aj1tSz3wmld4Pr9UeUNuSV7BYi6yu.0sw4jXk918vTTpc6yxV_v6t_SDnsOO2auxs4hTFqb_HgRDut6mu56LkDcv6_9Q6Sftfh4SOaxJXoLbwGcMVH7_u96WoXfhEj5jXOcjZxid1dy4jhmYGqb7UZMPGW5SJYuQs1IBlh1FkNUf4zJxr4GqjV_qON_MFgQesx4PpwXDBRX8NCulprl9sBw4QsuVRdSBtqNYLJWKFWhniqc_XU9tryCMf38NoKSEMeLjEUpnkOk0igNaokTj3i83EB9FRjQSS_wT1v0F3JVkX.HKCzS8fgbWSdQkHq3O1lbUqYa6LyePm85e77WaIcMcMNZG2E8Du7IxmGeQBvvr7L8_wrRX_mdEwEwP8.WxFxtO7hkqLuBL7WzC.2p5duP_8VZ8Kq1.7my9zpABSSCelYer0D6a3Zou6BuCU1_KblYVjUWssULuDhke_PmS9xYZML_qVdY1YFCBHyNzpno5mjlq5xramsV0FvIY.Am7M0OUbJXhDRtcuAEm4R_XAEhx10BDs_CX1YnsXb4PaSRd1bWmRGp.1SpPeKpTjkfBbGrEIH.wwkoenxY8BGeIR94zByi62HHjwU_x1zhO2KrbNH.z4j4qk6BS2xK4efm9NIeeyIzumDsrj632T6FEHiyj18xoNn9X.DwbxWxcfvyfH8.xim3V5LAz8OswxK1pnO.VtXicoyfcoqhrOCO9vaCC80WVx4IhUZ2KJxJ.ZZ5YBM9n.pLiRKYwI1wxKdyzRyUEk4uwbDfGv.Av0M0LpI1R2TfUFhuXiPXHRMMs3cBhGDjYzLPeZ.4yY4dSOtMF9DBnkGATIgK7y7G1qlXnn1bSug_eoN4ShTSJbcQkR3GQWFtLVqe5fQcPGBInLBHLs8LeSQyfRbduHel0HeFoIzbItoZztcvLUrFv7ms_3wOinSZNNgi87XsidKg1HcRkd4PKbilrW4h_xphxvwnLT.PZ0VUYtSjtYmEPHekCzHP7f1rfscYwC4HC8wePUvLoRzixX08X1k3vEo4Dw0LXGjUKLnhtm.yKaYkgDxJ2JR1_AIIMamPuRxXWi5ooY5o.gXr65VMrW0M.3j0A4TLs04hHGgeqpzHocoh3ljpEyPhuKR4iuF_IKOsKzk2jW7HdzwHEadN3N4rc9g8JMJL27_T9FsGhE_0vgZbDSOyhgbhQ_hXmdFTFdFwanVhaxqRmBAxR1f7NVuHRm.0.L3Xyf9IxJAQCfvigDmoxt30olUWxD.C2_fQBANxW3hdEeL2stoKNXT69UpZ44fcz.uL_UOEepHjwBr4O7lEK4ZnCbGbdeRgtfZegod6.dbsLig9fY7nQl41ZCGli0ckX4_5PMNRxGzBMv2oWGT3.iZ44UxkFGNgS77v_yhodcovxqlEl4Mv9EQSUD3DRPU_G1Br5eTgoLPpWaSi"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=913601f68db26016';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null, "\/abstracts\/search?q=petri%20net&__cf_chl_rt_tk=Lx4dnUJA6xFHDKrYdZJoxPcaZ6tmvFBf.merE.VsnNA-1739797722-1.0.1.1-hhLauLJf_oaQErGUr.lNyJ0dr5LnfSjyhA.tMgTvNds" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>