State equations and equivalent transformations for timed petri nets

被引:0
|
作者
D. A. Zaitsev
A. I. Sleptsov
机构
来源
关键词
Transfer Function; Output Sequence; Firing Time; Excited Transition; Input Place;
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
页码:659 / 672
页数:13
相关论文
共 50 条
  • [31] MICROPROGRAMMING IMPLEMENTATION OF TIMED PETRI NETS
    KUCHCINSKI, K
    PENG, Z
    INTEGRATION-THE VLSI JOURNAL, 1987, 5 (02) : 133 - 144
  • [32] Possibilistic Timed Safe Petri nets
    Sandri, S
    Cardoso, J
    1998 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AT THE IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE - PROCEEDINGS, VOL 1-2, 1998, : 89 - 94
  • [33] Timed Petri nets for software applications
    Andrzejewski, G
    DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 73 - 78
  • [34] Branching Processes of Timed Petri Nets
    Virbitskaite, Irina
    Borovlyov, Victor
    Popova-Zeugmann, Louchka
    PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2015, 2016, 9609 : 303 - 313
  • [35] Modeling and analysis of distributed state space generation for timed Petri nets
    Zuberek, WM
    Rada, I
    34TH ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2001, : 93 - 98
  • [36] Symbolic Analysis of Timed Petri Nets
    Zuberek, Wlodek M.
    THEORY AND ENGINEERING OF COMPLEX SYSTEMS AND DEPENDABILITY, 2015, 365 : 593 - 602
  • [37] Determinization of timed Petri nets behaviors
    Komenda, Jan
    Lahaye, Sebastien
    Boimond, Jean-Louis
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2016, 26 (03): : 413 - 437
  • [38] On possibilistic timed safe Petri nets
    Sandri, S
    Cardoso, J
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1999, 14 (08) : 841 - 858
  • [39] CONTROLLED EXECUTIONS OF TIMED PETRI NETS
    CHRETIENNE, P
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1984, 3 (01): : 23 - 31
  • [40] Algebras of processes of timed Petri nets
    Winkowski, J
    CONCUR '94: CONCURRENCY THEORY, 1994, 836 : 194 - 209