基于约束程序的Petri网可达问题：理论、算法与实践.docx

基于约束程序的Petri网可达问题：理论、算法与实践

一、引言

1.1研究背景与意义

在现代计算机科学和系统工程领域，异步并发系统广泛存在于通信网络、分布式计算、自动化控制等诸多实际应用场景中。Petri网作为一种强大的图形化建模和分析工具，自1962年由德国学者C.A.Petri在其博士论文《用自动机通信》中提出以来，凭借其对异步并发系统独特的描述能力，在众多领域得到了广泛应用。Petri网通过库所（Place）、变迁（Transition）、有向弧（Connection）和令牌（Token）等基本元素，能够直观地描述系统的状态和状态之间的转换关系，为研究异步并发系统的动态行