NONLINEAR INVARIANTS FOR COLORED PETRI NETS WITH INTERDEPENDEN TOKENS - APPLICATION TO THE PROOF OF PARALLEL PROGRAMS

被引：0
|
作者：
VAUTHERIN, J
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 222卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：418 / 434
页数：17
相关论文
共 42 条
  • [21] Experimental version of parallel programs translator from Petri Nets to C++
    Golenkov, EA
    Sokolov, AS
    Tarasov, GV
    Kharitonov, DI
    PARALLEL COMPUTING TECHNOLOGIES, 2001, 2127 : 226 - 231
  • [22] Developing a supply chain disruption analysis model: Application of colored Petri-nets
    Zegordi, Seyed Hessameddin
    Davarzani, Hoda
    EXPERT SYSTEMS WITH APPLICATIONS, 2012, 39 (02) : 2102 - 2111
  • [23] Modeling Supply Chains Using Colored Petri Nets: Application in A Phosphate Supply Chain
    Yassine, Azougagh
    Khalid, Benhida
    Said, Elfezazi
    JOURNAL OF MECHANICS OF CONTINUA AND MATHEMATICAL SCIENCES, 2019, : 266 - 276
  • [24] Composition and Application of Extended Colored Logic Petri Nets to E-Commerce Systems
    Wang, Zhen
    Luan, Wenjing
    Du, Yuyue
    Qi, Liang
    IEEE ACCESS, 2020, 8 : 36386 - 36397
  • [25] Agent-oriented Timed Colored Petri Nets Modeling Method and Its Application
    Zhang Ou-ya
    Chen Shun-xiang
    Gao Gui-qing
    Qi Zhen-dong
    Li Yong-xiang
    2010 2ND INTERNATIONAL ASIA CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS (CAR 2010), VOL 2, 2010, : 462 - 466
  • [26] Scenario-based system design with colored Petri nets: an application to train control systems
    Daohua Wu
    Eckehard Schnieder
    Software & Systems Modeling, 2018, 17 : 295 - 317
  • [27] Ontological Colored Petri Nets plus plus (OCPN plus plus ): Application in the biologic domain
    Dib, Lynda
    Debba, Fatma Zohra
    Bacher, Fouad
    2018 INTERNATIONAL CONFERENCE ON SMART COMMUNICATIONS IN NETWORK TECHNOLOGIES (SACONET), 2018, : 267 - 272
  • [28] An advanced function for the supervisory system of an electrical distribution substation: An application using colored Petri nets
    Sampaio, RF
    Barroso, GC
    Leao, RPS
    Sousa, JRD
    IASTED: PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON MODELLING AND SIMULATION, 2003, : 192 - 197
  • [29] Scenario-based system design with colored Petri nets: an application to train control systems
    Wu, Daohua
    Schnieder, Eckehard
    SOFTWARE AND SYSTEMS MODELING, 2018, 17 (01): : 295 - 317
  • [30] MODELING AND VALIDATION OF COMPLEX-SYSTEMS BY COLORED PETRI NETS APPLICATION TO A FLEXIBLE MANUFACTURING SYSTEM
    ALLA, H
    LADET, P
    MARTINEZ, J
    SILVASUAREZ, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 188 : 15 - 31
12345