A modelling and analysis tool for discrete events systems: continuous Petri net

被引：40

作者：

Alla, H ^{[1
]}

David, R ^{[1
]}

机构：

[1] Inst Natl Polytech Grenoble, UJF, CNRS, Lab Automat Grenoble, F-38402 St Martin Dheres, France

来源：

PERFORMANCE EVALUATION | 1998年 / 33卷 / 03期

关键词：

continuous Petri net; continuous marking; firing speed; modelling; continuous systems; discrete event systems;

D O I：

10.1016/S0166-5316(98)00016-9

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Autonomous and timed continuous Petri nets are defined. The autonomous model is presented as a limit case of autonomous discrete Petri nets and thus preserves most of the properties of classical Petri nets. A timed continuous Petri net, with constant firing speeds associated with transitions, is obtained from a timed discrete Petri net. This model has interesting properties such as marking and firing invariants, but its main interest is the construction of the evolution graph. This graph represents the behaviour of the system and contains a finite number of nodes, which allows very short simulations duration in comparison with discrete model simulations. The approximation given by the continuous model is often satisfactory, especially in the case of large markings. (C) 1998 Elsevier Science B.V. All rights reserved.

引用

页码：175 / 199

页数：25