State equations and equivalent transformations for timed petri nets

被引：0
|
作者：
D. A. Zaitsev
A. I. Sleptsov
机构：
来源：
Cybernetics and Systems Analysis | 1997年 / 33卷
关键词：
Transfer Function; Output Sequence; Firing Time; Excited Transition; Input Place;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：659 / 672
页数：13
相关论文
共 50 条
  • [21] A (Timed) State-Transition Semantics for Reflective Petri Nets
    Capra, Lorenzo
    PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, 2009, : 164 - 170
  • [22] Transformations of Petri Nets
    Ehrig, H.
    Hoffmann, K.
    Padberg, J.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 148 (01) : 151 - 172
  • [23] Limits of fluidification for a stochastic Petri Nets by timed continuous Petri Nets
    Benaya, N.
    El-Akchioui, N.
    Mourabit, T.
    2018 INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND COMPUTER VISION (ISCV2018), 2018,
  • [24] On controllability of timed continuous Petri nets
    Vazquez, C. Renato
    Ramirez, Antonio
    Recalde, Laura
    Silva, Manuel
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2008, 4981 : 528 - +
  • [25] Fuzzy multimodel of timed Petri nets
    Hennequin, S
    Lefebvre, D
    El Moudni, A
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2001, 31 (02): : 245 - 251
  • [26] Generalized Timed Stochastic Petri Nets
    Ivanov, N. N.
    Automation and Remote Control (English translation of Avtomatika i Telemekhanika), 1996, 57 (02):
  • [27] Timed Petri Nets as a verification tool
    Barad, M
    1998 WINTER SIMULATION CONFERENCE PROCEEDINGS, VOLS 1 AND 2, 1998, : 547 - 554
  • [28] Determinization of timed Petri nets behaviors
    Jan Komenda
    Sébastien Lahaye
    Jean-Louis Boimond
    Discrete Event Dynamic Systems, 2016, 26 : 413 - 437
  • [29] INTERNATIONAL WORKSHOP ON TIMED PETRI NETS
    不详
    PERFORMANCE EVALUATION, 1986, 6 (01) : 83 - 83
  • [30] Generalized timed stochastic Petri nets
    Ivanov, NN
    AUTOMATION AND REMOTE CONTROL, 1996, 57 (10) : 1503 - 1512
12345