论文部分内容阅读
针对分布式系统在共享资源冲突和消解的复杂性问题，综合考虑时间、空间、约束条件等因素，在混合Petri网同时具备描述离散系统和连续系统的能力的基础上，加入时间约束条件、测试弧，从而形成一个能够描述更复杂分布式系统的Petri网模型。利用Petri网描述系统的基本思想，经过扩展得出新模型，变迁使能、变迁触发和变迁冲突检测的定义。结合实例，对模型进行了仿真分析，给出了实例中系统冲突的消解方案，表明了模型的可行性。