会议论文《主体计划的Petri网方法及正确性验证》探讨了基于Petri网的主体计划建模方法，并提出了相应的正确性验证机制。该文针对分布式系统中的主体协调问题，利用Petri网的结构特性进行建模，确保系统的同步与一致性。通过形式化方法验证主体计划的正确性，提高了系统设计的可靠性和可维护性，为分布式计算提供了理论支持。
文档为pdf格式，0.17MB，总共3页。
举报
