与时间相关系统的Petri网模型

首先简介一般加时间Ｐｅｔｒｉ网模型及其使能规则和点火规则，然后给出几种典型的加时间的Ｐｅｔｒｉ网模型及其动态行为及点火规则，其中，通讯时间Ｐｅｔｒｉ网侧重于网与环境之间的通讯；ＴＣＰＮ侧重于讨论变迁的最早和最晚点火时间以及点火持续时间；ＧＳＰＮ侧重于从概率的角度讨论变迁的点火时间问题，本还给出三种具有代表性的用于描述多媒体同步的Ｐｅｔｒｉ网模型及其点火规则。

Time Petri net Models of Time Related System

In this paper, first, we briefly introduce the general time and timed Petri net models and their enabling and firing rules. Second, we present some typical time and timed Petri net models and their dynamic behavior and firing rules. Among them, the communication between the model and its environment is particularly emphasized in CmTPN model. In TCPN model, the earliest firing time and the latest firing time of transition as well as the duration time of transition are accentuated. In GSPN, the firing time of transitions is discussed from the view of probability. Also three typical Petri net models of multimedia synchronization and their firing rules are presented . In the last, the conclusion and future research work are given.