Modular state space exploration for timed petri nets

被引：14

作者：

Lakos C. ^{[1
]}

Petrucci L. ^{[2
]}

机构：

[1] University of Adelaide, Adelaide

[2] LIPN, CNRS UMR 7030, Université Paris XIII, 93430 Villetaneuse, 99, avenue Jean-Baptiste Clement

来源：

Int. J. Softw. Tools Technol. Trans. | 2007年 / 3-4卷 / 393-411期

关键词：

State Space; Modular Analysis; Synchronisation Process; Infrastructure Cost; Partial Order Reduction;

D O I：

10.1007/s10009-007-0033-2

中图分类号：

学科分类号：

摘要：

This paper extends modular state space construction for concurrent systems to cater for timed systems. It identifies different forms of timed state space and presents algorithms for computing them. These include uniprocessor algorithms inspired by conservative and optimistic approaches to discrete event simulation, and also a distributed algorithm. The paper discusses implementation issues and performance results for a simple case study. © Springer-Verlag 2007.

引用

页码：393 / 411

页数：18

共 16 条

[1]

Aalst W., Interval Timed Coloured Petri Nets and their analysis, Internation Conference on the Application and Theory of Petri Nets, Vol. 961 of LNCS, pp. 453-472, (1993)

[2]

Berthelot G., Boucheneb H., Occurrence graphs for Interval Timed Coloured Nets, Proceedings of 15th International Conference Application and Theory of Petri Nets (ICATPN'1994), Zaragoza, Spain, June 1994, Vol. 815 of LNCS, pp. 79-98, (1994)

[3]

Boucheneb H., Bertholet G., Towards a simplified building of Time Petri Nets reachability graph, 5th International Workshop on Petri Nets and Performance Models, pp. 46-55, (1993)

[4]

Christensen S., Petrucci L., Modular analysis of Petri Nets, Comput. J., 43, 3, pp. 224-242, (2000)

[5]

Design/CPN Online

[6]

Fujimoto R.M., Parallel discrete event simulation, Commun. ACM, 33, 10, pp. 30-53, (1990)

[7]

Jensen K., Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Vol. 1: Basic Concepts, (1992)

[8]

Jensen K., Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2: Analysis Methods, (1994)

[9]

Kristensen L., Petrucci L., An approach to distributed state space exploration for Coloured Petri Nets, Proceedings of 25th International Conference Application and Theory of Petri Nets (ICATPN'2004), 3099, pp. 474-483, (2004)

[10]

Lakos C., Petrucci L., Modular analysis of systems composed of semiautonomous subsystems, Proceedings of 4th International Conference on Application of Concurrency to System Design (ACSD'04), pp. 185-194, (2004)

← 1 2 →