High-Level Koutny Net

被引：0
|
作者：
Ciobanu, Gabriel
机构：
来源：
SCIENTIFIC ANNALS OF COMPUTER SCIENCE | 2018年 / 28卷 / 02期
关键词：
D O I：
10.7561/SACS.2018.2.157
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This issue is dedicated to Professor Maciej Koutny for celebrating his 60th birthday, and consists of five contributions written by his friends and collaborators.
引用
收藏
页码：157 / 159
页数：3
相关论文
共 50 条
  • [1] Net scheduling in high-level synthesis
    Prihozhy, A
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 1996, 13 (01): : 26 - 35
  • [2] Composition and Independence of High-Level Net Processes
    Ehrig, H.
    Hoffmann, K.
    Gabriel, K.
    Padberg, J.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 242 (02) : 59 - 71
  • [3] ON THE ANALYSIS OF STOCHASTIC HIGH-LEVEL PETRI NET MODELS
    LIN, C
    MARINESCU, DC
    [J]. MICROELECTRONICS AND RELIABILITY, 1991, 31 (04): : 747 - 767
  • [4] Behaviour and instantiation of high-level Petri net processes
    Ehrig, H
    [J]. FUNDAMENTA INFORMATICAE, 2005, 65 (03) : 211 - 247
  • [5] High-level Petri net approach for supervisory control
    Zouari, B
    [J]. 2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1161 - 1166
  • [6] High-Level Petri Net Model Checking with AlPiNA
    Hostettler, Steve
    Marechal, Alexis
    Linard, Alban
    Risoldi, Matteo
    Buchs, Didier
    [J]. FUNDAMENTA INFORMATICAE, 2011, 113 (3-4) : 229 - 264
  • [7] A High-Level Petri Net Framework for Genetic Regulatory Networks
    Banks, Richard
    Steggles, L. Jason
    [J]. JOURNAL OF INTEGRATIVE BIOINFORMATICS, 2007, 4 (03):
  • [8] SEMANTICS, COMPOSITION AND NET PROPERTIES OF ALGEBRAIC HIGH-LEVEL NETS
    DIMITROVICI, C
    HUMMERT, U
    PETRUCCI, L
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 524 : 93 - 117
  • [9] Application of Petri Net Model in High-Level Scheduling Algorithm
    Srivastava, Atul Kumar
    Tiwari, Siddharth
    Banerjee, Shubhanker
    [J]. ADVANCES IN VLSI, COMMUNICATION, AND SIGNAL PROCESSING, 2020, 587 : 705 - 717
  • [10] Relay protection modeling based on high-level Petri net
    School of Electrical Engineering, Wuhan University, Wuhan 430072, China
    [J]. Dianli Zidonghua Shebei Electr. Power Autom. Equip., 2008, 2 (23-28):
12345