Towards a New Exhaustive Simulation Technique for P-Time Petri Nets

被引：0
作者：
Bonhomme, Patrice [1 ]
机构：
[1] Univ Tours, Lab Informat, F-37200 Tours, France
来源：
2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA) | 2010年
关键词：
SYSTEMS;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Petri nets are a powerful formalism for the specification and verification of concurrent systems, such as sequential systems and manufacturing systems where many processes can compete for limited and constrained ressources. To deal with systems whose time issues become essential, different extensions of Petri nets with time have been proposed in the literature, each one being dependent on the application considered. In this paper, a new analysis technique for P-time Petri nets is proposed. It consists of simple operations on time intervals to determine a superset of behaviors of the modelled system. Then, once a desired behavior is extracted, thanks to a linear programming problem, its feasibility is verified via the existence of a solution.
引用
收藏
页数：8
相关论文
共 15 条
  • [1] Aygalinc P, 2003, ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, P82
  • [2] Computation of Performance Bounds for Real-Time Systems Using Time Petri Nets
    Bernardi, Simona
    Campos, Javier
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2009, 5 (02) : 168 - 180
  • [3] MODELING AND VERIFICATION OF TIME-DEPENDENT SYSTEMS USING TIME PETRI NETS
    BERTHOMIEU, B
    DIAZ, M
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (03) : 259 - 273
  • [4] BONHOMME P, 2006, P IEEE C CONTR APPL
  • [5] BONHOMME P, 2001, P IEEE C CONTR APPL
  • [6] Boucheneb H., 1993, Proceedings. 5th International Workshop on Petri Nets and Performance Models (Cat. No.93TH0558-7), P46, DOI 10.1109/PNPM.1993.393436
  • [7] PETRI NETS FOR MODELING OF DYNAMIC-SYSTEMS - A SURVEY
    DAVID, R
    ALLA, H
    [J]. AUTOMATICA, 1994, 30 (02) : 175 - 202
  • [8] A UNIFIED HIGH-LEVEL PETRI NET FORMALISM FOR TIME-CRITICAL SYSTEMS
    GHEZZI, C
    MANDRIOLI, D
    MORASCA, S
    PEZZE, M
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (02) : 160 - 172
  • [9] Firing rate optimization of cyclic timed event graphs by token allocations
    Giua, A
    Piccaluga, A
    Seatzu, C
    [J]. AUTOMATICA, 2002, 38 (01) : 91 - 103
  • [10] Khansa W., 1996, P IEEE WORKSH DISCR, V96, P94
12