S-不变量相关论文
可达性是Petri网最基本最重要的一种动态性质，其判定问题是Petri网理论研究的重要课题。本文借助代数方法对可达性进行分析，研究内容......
Petri网不仅可以采用可视化图形描述而且可被形式化的数学方法所支持,是一种形式化、图形化的分布式系统建模和分析工具。它不但能......
