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 条
  • [41] A Reliability Calculation Method for Web Service Composition Using Fuzzy Reasoning Colored Petri Nets and Its Application on Supercomputing Cloud Platform
    Deng, Ziyun
    Chen, Lei
    He, Tingqing
    Meng, Tao
    FUTURE INTERNET, 2016, 8 (04):
  • [42] Application of Hierarchical Colored Petri Nets for Real-Time Condition Monitoring of Internal Blowout Prevention (IBOP) in Top Drive Assembly System
    Noori, Nadia Saad
    Waag, Tor Inge
    2019 13TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON), 2019,
12345