user

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 条
  • [31] ANALYSIS OF PARALLEL PROCESSES BY MEAN OF PETRI NETS TRANSFORMATIONS - APPLICATION TO A NETWORK PROTOCOL
    BERTHELOT, G
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (01): : 73 - 82
  • [32] Architecture Modelling and Task Scheduling of an Integrated Parallel CNC System in Docker Containers Based on Colored Petri Nets
    Jin, Hongyu
    Wang, Yang
    Wang, Qian
    Liu, Jiankang
    Wang, Shuhua
    Zhang, Jun
    Hao, Shanghua
    Fu, Hongya
    IEEE ACCESS, 2019, 7 : 47535 - 47549
  • [33] Concurrent Reachable Marking Graph of Timed Petri Nets and Its Application in Parallel Downloads
    Han, Yaojun
    Luo, Xuemei
    2012 THIRD INTERNATIONAL CONFERENCE ON THEORETICAL AND MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE (ICTMF 2012), 2013, 38 : 458 - 464
  • [34] Extracting minimal siphon-traps of Petri nets and its application to computing nonnegative integer-invariants
    Taoka, S
    Takano, K
    Watanabe, T
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2002, E85A (11) : 2436 - 2446
  • [35] Model-Driven System Development for a Cloud-Based Healthcare Application Using Colored Petri Nets
    Cagaanan, Adrian
    Gehlot, Vijay
    18TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE, SYSCON 2024, 2024,
  • [36] A Control Approach Based on Colored Hybrid Petri Nets and (Max, plus ) Algebra: Application to Multimodal Transportation Systems
    Outafraout, Karima
    Nait-Sidi-Moh, Ahmed
    Chakir El Alaoui, El Houcine
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2020, 17 (03) : 1208 - 1220
  • [37] AN APPLICATION OF PARALLEL CUT ELIMINATION IN MULTIPLICATIVE LINEAR LOGIC TO THE TAYLOR EXPANSION OF PROOF NETS
    Chouquet, Jules
    Auclair, Lionel Vaux
    LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (04)
  • [38] Modeling Method of Automotive Body CAN/LIN Nets Application Protocol Based on Object-oriented Colored Petri Net
    FANG Hua1
    revised October 21
    accepted February 21
    published electronically February 23
    Chinese Journal of Mechanical Engineering, 2011, 24 (06) : 999 - 1006
  • [39] Modeling Method of Automotive Body CAN/LIN Nets Application Protocol Based on Object-oriented Colored Petri Net
    Fang Hua
    Han Jianghong
    Liu Xiaoping
    CHINESE JOURNAL OF MECHANICAL ENGINEERING, 2011, 24 (06) : 999 - 1006
  • [40] Modeling method of automotive body CAN-LIN nets application protocol based on object-oriented colored Petri net
    School of Computer and Information, Hefei University of Technology, Hefei 230009, China
    不详
    不详
    Chin J Mech Eng Engl Ed, 6 (999-1006):
12345