网论

Petri网工具数据库。Petri网是一种图形化和数学化的建模工具。Petri网是描述和研究具有并发、异步、分布式、并行、不确定性和/或随机性的信息处理系统的有力工具。