user

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 条
  • [31] New Petri net controller for distributed Petri net
    Dohi, Y
    Takano, W
    Horiguchi, T
    Murakoshi, H
    [J]. IECON '98 - PROCEEDINGS OF THE 24TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, 1998, : 143 - 148
  • [32] Mapping annotated use case and sequence Diagrams to a Petri Net Notation for Performance Evaluation
    Emadi, Sima
    Shams, Fereidoon
    [J]. SECOND INTERNATIONAL CONFERENCE ON COMPUTER AND ELECTRICAL ENGINEERING, VOL 2, PROCEEDINGS, 2009, : 68 - +
  • [33] On Service Security Analysis for Event Log of IoT System Based on Data Petri Net
    Bin Ahmadon, Mohd Anuaruddin
    Yamaguchi, Shingo
    Saon, Sharifah
    Mahamad, Abd Kadir
    [J]. 2017 IEEE INTERNATIONAL SYMPOSIUM ON CONSUMER ELECTRONICS (ISCE), 2017, : 4 - 8
  • [34] The study on data distribution management based on Petri net
    Fang Xianwen
    Zhao Yan
    Yin Zhixiang
    [J]. ICICIC 2006: FIRST INTERNATIONAL CONFERENCE ON INNOVATIVE COMPUTING, INFORMATION AND CONTROL, VOL 2, PROCEEDINGS, 2006, : 75 - +
  • [35] State space calculation algorithm of hierarchical Petri nets with application of decision diagrams
    Miczulski, P
    [J]. DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 67 - 72
  • [36] Lean Reachability Tree for Petri Net Analysis
    Li, Jun
    Yu, Xiaolong
    Zhou, Mengchu
    [J]. 2016 IEEE 13TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING, AND CONTROL (ICNSC), 2016,
  • [37] The Petri net modelling and analysis tool Π-Tool
    Quiroga, Lisandro M.
    Becker, Uwe
    Schnieder, Eckehard
    [J]. AT-AUTOMATISIERUNGSTECHNIK, 2014, 62 (06) : 436 - 445
  • [38] PETRI NET TOOLS FOR THE ANALYSIS OF COLLABORATIVE TASKS
    Gonsalves, Tad
    Kawabata, Ryo
    Tabata, Shunya
    Itoh, Kiyoshi
    [J]. JOURNAL OF INTEGRATED DESIGN & PROCESS SCIENCE, 2008, 12 (01) : 23 - 38
  • [39] The analysis and test of Petri Net's deadlock
    Tang, Peihe
    [J]. 2005 International Symposium on Computer Science and Technology, Proceedings, 2005, : 188 - 193
  • [40] BUG Algorithm Analysis using Petri net
    Yufka, Alpaslan
    Aybar, Aydin
    [J]. 2013 8TH INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONICS ENGINEERING (ELECO), 2013, : 507 - 511
12345