Petri nets fluidification revisited: Semantics and steady state

被引：0
|
作者：
Recalde, Laura [1 ]
Silva, Manuel [1 ]
机构：
[1] Depto. de Info. e Ing. de Sistemas, Centro Politécnico Superior, Universidad de Zaragoza, María de Luna 3, E-50015 Zaragoza, Spain
来源：
Journal Europeen des Systemes Automatises | 2001年 / 35卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
16
引用
收藏
页码：435 / 449
相关论文
共 50 条
  • [11] A TRACE SEMANTICS FOR PETRI NETS
    HOOGERS, PW
    KLEIJN, HCM
    THIAGARAJAN, PS
    [J]. INFORMATION AND COMPUTATION, 1995, 117 (01) : 98 - 114
  • [12] Loose semantics of Petri nets
    Padberg, J
    Kreowski, HJ
    [J]. FORMAL METHODS IN SOFTWARE AND SYSTEMS MODELING: ESSAYS DEDICATED TO HARTMUT EHRIG ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 3393 : 370 - 384
  • [13] A (Timed) State-Transition Semantics for Reflective Petri Nets
    Capra, Lorenzo
    [J]. PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, 2009, : 164 - 170
  • [14] Causal semantics for Petri nets with contacts
    Lomazova, IA
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1999, 25 (04) : 214 - 221
  • [15] Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets
    Bergenthum, Robin
    Folz-Weinstein, Sabine
    Kovar, Jakub
    [J]. APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2023, 2023, 13929 : 286 - 306
  • [16] A coalgebraic semantics for causality in Petri nets
    Bruni, Roberto
    Montanari, Ugo
    Sammartino, Matteo
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2015, 84 (06) : 853 - 883
  • [17] Complete Process Semantics of Petri Nets
    Juhas, Gabriel
    Lorenz, Robert
    Mauser, Sebastian
    [J]. FUNDAMENTA INFORMATICAE, 2008, 87 (3-4) : 331 - 365
  • [18] A causal semantics for time Petri nets
    Aura, T
    Lilius, J
    [J]. THEORETICAL COMPUTER SCIENCE, 2000, 243 (1-2) : 409 - 447
  • [19] A Categorical Semantics for Bounded Petri Nets
    Genovese, Fabrizio
    Loregian, Fosco
    Palombi, Daniele
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (372): : 59 - 71
  • [20] A Categorical Semantics for Hierarchical Petri Nets
    Genovese, Fabrizio Romano
    Herold, Jelle
    Loregian, Fosco
    Palombi, Daniele
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (350): : 51 - 68
12345