论文部分内容阅读
提出一种对传统Petri网的新的扩展模型PIP—net，该模型将优先权概念引入到变迁的输入孤中，并定义了其高优先权输入孤在到达某特定变迁后，会在设定的时间间隔过后发射该变迁，而并不等待低优先权或非优先权输入孤到达的发射规则．之后提出基于OCPN以及XOCPN进行扩展的POCPN模型．除了加入PIP—net的特性外，POCPN模型还定义了变迁上的阻塞时间值以及发射条件阈值．该模型可以被用来为分布式多媒体系统设计控制装置，为系统处理同步和用户交互．