Data decision diagrams for Petri net analysis

被引：0
|
作者：
Couvreur, JM [1 ]
Encrenaz, E
Paviot-Adet, E
Poitrenaud, D
Wacrenier, PA
机构：
[1] Univ Bordeaux 1, LaBRI, F-33405 Talence, France
[2] Univ Paris 06, Paris, France
来源：
APPLICATIONS AND THEORY OF PETRI NETS 2002 | 2002年 / 2360卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper presents a new data structure, the Data Decision Diagrams, equipped with a mechanism allowing the definition of application-specific operators. This mechanism is based on combination of inductive linear functions offering a large expressiveness while alleviating for the user the burden of hard coding traversals in a shared data structure. We demonstrate the pertinence of our system through the implementation of a verification tool for various classes of Petri nets including self modifying and queuing nets.
引用
收藏
页码：101 / 120
页数：20
相关论文
共 50 条
  • [1] MODELING OF VISUALIZED DATA-FLOW DIAGRAMS USING PETRI NET MODEL
    LEE, PT
    TAN, KP
    [J]. SOFTWARE ENGINEERING JOURNAL, 1992, 7 (01): : 4 - 12
  • [2] Automatic translation UML activity diagrams to Petri net
    Vladimiriovich, Markov Alexandr
    Alexandrovich, Voevoda Alexandr
    Olegovich, Romannikov Dmitry
    [J]. 2015 INTERNATIONAL SIBERIAN CONFERENCE ON CONTROL AND COMMUNICATIONS (SIBCON), 2015,
  • [3] Decision tables in Petri net models
    Szpyrka, Marcin
    Szmuc, Tomasz
    [J]. ROUGH SETS AND INTELLIGENT SYSTEMS PARADIGMS, PROCEEDINGS, 2007, 4585 : 648 - +
  • [4] The study of data analysis based petri net in DVE
    Zhao, XJ
    [J]. System Simulation and Scientific Computing, Vols 1 and 2, Proceedings, 2005, : 8 - 12
  • [5] Data decision diagrams for Promela systems analysis
    Beaudenon V.
    Encrenaz E.
    Taktak S.
    [J]. International Journal on Software Tools for Technology Transfer, 2010, 12 (05) : 337 - 352
  • [6] Intuitive mapping of UML 2 activity diagrams into fundamental modeling concept Petri net diagrams and colored Petri nets
    Staines, Tony Spiteri
    [J]. FIFTEENTH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2008, : 191 - 200
  • [7] Translating IOPT Petri net models into PLC Ladder diagrams
    Feio, Ricardo
    Rosas, Joao
    Gomes, Luis
    [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2017, : 1211 - 1216
  • [8] Fuzzy Petri net for UAV decision making
    Lundell, M
    Tang, JP
    Nygard, K
    [J]. 2005 INTERNATIONAL SYMPOSIUM ON COLLABORATIVE TECHNOLOGIES AND SYSTEMS, PROCEEDINGS, 2005, : 347 - 352
  • [9] PETRI NET REPRESENTATION OF DECISION-MODELS
    TABAK, D
    LEVIS, AH
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1985, 15 (06): : 812 - 818
  • [10] Petri net-based decision nets
    Simoes, MAS
    Barretto, MRP
    [J]. INTELLIGENT MANUFACTURING SYSTEMS 1998 (IMS'98), 1999, : 251 - 256
12345