基于面向方面的Petri网在实时系统中的应用

Aspect-oriented Petri Net Applications in Real-time Systems

Petri网作为一种图形化的建模方法,具有直观易用的特点,是业务流程建模常用方法。面向方面建模的基本思想是按系统特征划分程序模块。传统的实时系统与时间密切相关。我们分离实时系统时间方面,然后用时间Petri网来建模,最后通过实例来简单地说明建模过程。

Petri net as a graphical way of modeling is frequently used in business process model,for its presentation is visualized and its operation is simple.The basic idea of aspect-oriented modeling is to divide the modules according to the features of the system.The traditional Real-Time system is strictly related to the time.First,we separate the aspect of the time in the Real-Time system.Then we use time Petri net to model it.Finally,we introduce the modeling process according a use case.