本頁只刊出中文翻譯與中文說明；英文原文請見下方原文連結。
原文連結
論文資訊
- 類型：已發表論文
- 日期：2025-04-15
摘要
對具有特定功能的途徑和替代途徑的探索在許多化學背景中都很有趣。先前已經開發了用於指定和搜尋路徑的框架，但是缺少對許多路徑解決方案中哪些是可實現的或可以實現的關注。這裡可實現意味著實際上存在執行該路徑的路徑反應的某些順序。我們提出了一種基於 Petri 網可達性問題分析路徑可實現性的方法。對於可實現的途徑，我們的方法還提供了編碼反應順序的證書，從而實現了該途徑。我們提出了路徑可實現性的兩個擴展概念，其中之一與網路催化劑的概念有關。我們舉例說明了我們關於磷酸戊糖途徑的發現。此外，我們討論了我們的概念的相關性，以闡明在描述路徑時經常隱式做出的選擇。最後，我們為可實現性的數學理論奠定了基礎。