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 条
  • [21] On Parametric DBMs and Their Applications to Time Petri Nets
    Leclercq, Loriane
    Lime, Didier
    Roux, Olivier H.
    QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST-FORMATS 2024, 2024, 14996 : 107 - 124
  • [22] Modeling multithreaded applications using Petri nets
    Kavi, KM
    Moshtaghi, A
    Chen, DJ
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2002, 30 (05) : 353 - 371
  • [23] Applications of Petri nets in production scheduling: a review
    Gonca Tuncel
    G. Mirac Bayhan
    The International Journal of Advanced Manufacturing Technology, 2007, 34 : 762 - 773
  • [24] STOCHASTIC PETRI NETS - PROPERTIES, APPLICATIONS AND TOOLS
    FLORIN, G
    FRAIZE, C
    NATKIN, S
    MICROELECTRONICS AND RELIABILITY, 1991, 31 (04): : 669 - 697
  • [25] Fuzzy Petri nets and industrial applications: a review
    Kai-Qing Zhou
    Azlan Mohd Zain
    Artificial Intelligence Review, 2016, 45 : 405 - 446
  • [26] Applications of Petri nets in production scheduling: a review
    Tuncel, Gonca
    Bayhan, G. Mirac
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2007, 34 (7-8): : 762 - 773
  • [27] Fuzzy Petri nets and industrial applications: a review
    Zhou, Kai-Qing
    Zain, Azlan Mohd
    ARTIFICIAL INTELLIGENCE REVIEW, 2016, 45 (04) : 405 - 446
  • [28] Petri nets with clocks and applications to the model of processes
    Vilallonga, G
    Riesco, D
    Montejano, G
    Uzal, R
    Felice, L
    ISSUES AND TRENDS OF INFORMATION TECHNOLOGY MANAGEMENT IN CONTEMPORARY ORGANIZATIONS, VOLS 1 AND 2, 2002, : 593 - 597
  • [29] Modeling Multithreaded Applications Using Petri Nets
    Krishna M. Kavi
    Alireza Moshtaghi
    Deng-jyi Chen
    International Journal of Parallel Programming, 2002, 30 : 353 - 371
  • [30] TIMED PETRI NETS DEFINITIONS, PROPERTIES, AND APPLICATIONS
    ZUBEREK, WM
    MICROELECTRONICS AND RELIABILITY, 1991, 31 (04): : 627 - 644
12345