On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations

被引：0
|
作者：
Sassone, V.
机构：
来源：
Bulletin of the European Association for Theoretical Computer Science | 1994年 / 53期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Observability of continuous Petri nets with infinite server semantics
    Mahulea, Cristian
    Recalde, Laura
    Silva, Manuel
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2010, 4 (02) : 219 - 232
  • [2] Finite unfoldings of unbounded Petri nets
    Desel, J
    Juhás, G
    Neumair, C
    APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 157 - 176
  • [3] Verifying CTL with Unfoldings of Petri Nets
    Dong, Lanlan
    Liu, Guanjun
    Xiang, Dongming
    ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, ICA3PP 2018, PT IV, 2018, 11337 : 47 - 61
  • [4] Unfoldings of Bounded Hybrid Petri Nets
    Novosad, Petr
    Ceska, Milan
    COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2011, PT I, 2012, 6927 : 543 - 550
  • [5] An algorithm for Petri nets reachability by unfoldings
    Miyamoto, T
    Nakano, S
    Kumagai, S
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1999, E82A (03) : 500 - 503
  • [6] Deadlock prevention using Petri nets and their unfoldings
    A. Taubin
    A. Kondratyev
    M. Kishinevsky
    The International Journal of Advanced Manufacturing Technology, 1998, 14 : 750 - 759
  • [7] Deadlock prevention using Petri nets and their unfoldings
    Taubin, A
    Kondratyev, A
    Kishinevsky, M
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 1998, 14 (10): : 750 - 759
  • [8] Reversibility verification of Petri nets using unfoldings
    Miyamoto, T
    Kumagai, S
    SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 4274 - 4278
  • [9] ON THE SEMANTICS OF PETRI NETS
    MESEGUER, J
    MONTANARI, U
    SASSONE, V
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 286 - 301
  • [10] Deadlock prevention using Petri nets and their unfoldings
    Univ of Aizu, Aizu-Wakamatsu, Japan
    Int J Adv Manuf Technol, 10 (750-759):
12345