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
来源
关键词
D O I
暂无
中图分类号
学科分类号
摘要
16
引用
收藏
页码:435 / 449
相关论文
共 50 条
  • [41] A compositional petri nets semantics for basic lotos
    Department of Computer Science, USTO, Algeria
    Inf. Technol. J., 2007, 1 (110-116):
  • [42] ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Nets
    Liu, Ruotian
    Ammour, Rabah
    Brenner, Leonardo
    Demongodin, Isabel
    VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2020, 2020, 12519 : 84 - 99
  • [43] Reachability analysis of steady state for a class of interval speed continuous Petri nets
    Liao, Wei-Zhi
    Wen, Ying
    Wang, Ru-Liang
    Xitong Fangzhen Xuebao / Journal of System Simulation, 2005, 17 (SUPPL.): : 44 - 47
  • [44] ON/OFF control for reaching a steady state attractive region in batches Petri nets
    Liu, Ruotian
    Ammour, Rabah
    Brenner, Leonardo
    Demongodin, Isabel
    IFAC PAPERSONLINE, 2023, 56 (02): : 9618 - 9623
  • [45] Time Petri nets with inhibitor hyperarcs. Formal semantics and state space computation
    Roux, OH
    Lime, D
    APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 371 - 390
  • [46] Qualitative Diagnosability of labeled Petri Nets revisited
    Haar, Stefan
    PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 1248 - 1253
  • [47] Observability of continuous Petri nets with infinite server semantics
    Mahulea, Cristian
    Recalde, Laura
    Silva, Manuel
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2010, 4 (02) : 219 - 232
  • [48] Towards a Consistent Semantics for Unsafe Time Petri Nets
    Abdelli, Abdelkrim
    ADVANCES IN SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 59 : 42 - 49
  • [49] Comparing Semantics Under Strong Timing of Petri Nets
    Virbitskaite, Irina
    Bushin, Dmitry
    PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2014, 2015, 8974 : 376 - 384
  • [50] MODELING THE SEMANTICS OF SMALLTALK-80 WITH PETRI NETS
    CHRISTODOULAKIS, DN
    SIGPLAN NOTICES, 1989, 24 (04): : 156 - 158