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 条
  • [21] A Categorical Semantics for Guarded Petri Nets
    Genovese, Fabrizio
    Spivak, David I.
    GRAPH TRANSFORMATION, ICGT 2020, 2020, 12150 : 57 - 74
  • [22] Bayesian network semantics for Petri nets
    Bruni, Roberto
    Melgratti, Hernan
    Montanari, Ugo
    THEORETICAL COMPUTER SCIENCE, 2020, 807 (807) : 95 - 113
  • [23] A causal semantics for time Petri nets
    Aura, T
    Lilius, J
    THEORETICAL COMPUTER SCIENCE, 2000, 243 (1-2) : 409 - 447
  • [24] ITL semantics of composite Petri nets
    Duan, Zhenhua
    Klaudel, Hanna
    Koutny, Maciej
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2013, 82 (02): : 95 - 110
  • [25] Dynamics and steady state analysis of controlled Generalized Batches Petri Nets
    Demongodin, Isabel
    Giua, Alessandro
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2014, 12 : 33 - 49
  • [26] Age semantics based State Space Computation of Time Petri Nets.
    Abdelli, Abdelkrim
    2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2014, : 361 - 368
  • [27] Comparative trace semantics of time Petri nets
    Bushin, D. I.
    Virbitskaite, I. B.
    PROGRAMMING AND COMPUTER SOFTWARE, 2015, 41 (03) : 131 - 139
  • [28] Comparison of different semantics for Time Petri Nets
    Bérard, B
    Cassez, F
    Haddad, S
    Lime, D
    Roux, OH
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2005, 3707 : 293 - 307
  • [29] An event structure semantics for general Petri nets
    Hoogers, PW
    Kleijn, HCM
    Thiagarajan, PS
    THEORETICAL COMPUTER SCIENCE, 1996, 153 (1-2) : 129 - 170
  • [30] On Causal Semantics of Petri Nets (Extended Abstract)
    van Glabbeek, Rob J.
    Goltz, Ursula
    Schicke, Jens-Wolfhard
    CONCUR 2011: CONCURRENCY THEORY, 2011, 6901 : 43 - +
12345