Use of constraints in Petri nets and their novel applications

被引：0
|
作者：
Boutet, F [1 ]
Motet, G [1 ]
Kubek, JM [1 ]
机构：
[1] Inst Natl Sci Appl, LESIA, DGEI, F-31077 Toulouse 04, France
来源：
1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5 | 1998年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper deals with Petri net-based formalisms that formally handle constraints by means of the Constraint Logic Programming framework. Studies on such High-Level nets lead to the design of a general tool for modelling and serving different problems arising in system design. We present applications to hybrid and real-time systems, and to flexible constraint satisfaction problems.
引用
收藏
页码：32 / 37
页数：6
相关论文
共 50 条
  • [1] Petri nets modeling applications
    Choudhury, DR
    Chordiya, N
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: I, 2003, : 87 - 92
  • [2] Stochastic Petri nets and their applications
    Trivedi, KS
    Sun, HR
    Cao, YH
    Ma, Y
    PERFORMANCE AND QOS OF NEXT GENERATION NETWORKING, 2001, : 283 - 298
  • [3] Simulation of a novel leader election protocol with the use of Petri nets
    Amintabar, A
    Kostin, A
    Ilushechkina, L
    NINTH IEEE INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL-TIME APPLICATIONS, PROCEEDINGS, 2005, : 283 - 289
  • [4] Approach for Transforming Linear Constraints on Petri Nets
    Luo, Jiliang
    Nonami, Kenzo
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2011, 56 (12) : 2745 - 2759
  • [5] On the enforcement of a class of nonlinear constraints on Petri nets
    Chen, YuFeng
    Li, ZhiWu
    Barkaoui, Kamel
    Giua, Alessandro
    AUTOMATICA, 2015, 55 : 116 - 124
  • [6] Equivalent Transformation of Nonlinear Constraints to Linear Constraints in Petri Nets
    Chen, YuFeng
    Al-Ahmari, Abdulrahman
    Hon, Chi Tin
    Wu, NaiQi
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2015, 2015
  • [7] PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS
    MURATA, T
    PROCEEDINGS OF THE IEEE, 1989, 77 (04) : 541 - 580
  • [8] PANEL - APPLICATIONS OF PERFORMANCE PETRI NETS
    DUGAN, JB
    SUGASAWA, Y
    SANDERS, WH
    CHIOLA, G
    CIARDO, G
    PERFORMANCE EVALUATION, 1990, 11 (01) : 75 - 76
  • [9] Timed Petri nets for software applications
    Andrzejewski, G
    DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 73 - 78
  • [10] Petri nets2. Applications
    Y. Narahari
    Resonance, 1999, 4 (9) : 44 - 52
12345