Petri nets without tokens

被引：0
|
作者：
Mazurkiewicz, Antoni [1 ]
机构：
[1] Polish Acad Sci, Inst Comp Sci, PL-01237 Warsaw, Poland
来源：
Petri Nets and Other Models of Concurrency - ICATPN 2007 | 2007年 / 4546卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：20 / 23
页数：4
相关论文
共 50 条
  • [31] THE MEANING OF FROZEN TOKENS IN LIVE NETS
    LU, WM
    MERCERON, A
    [J]. SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1989, 32 (04): : 459 - 469
  • [32] THE MEANING OF FROZEN TOKENS IN LIVE NETS
    陆维明
    A.MERCERON
    [J]. Science China Mathematics, 1989, (04) : 459 - 469
  • [33] Nets with Tokens which Carry Data
    Lazic, Ranko
    Newcomb, Tom
    Ouaknine, Joel
    Roscoe, A. W.
    Worrell, James
    [J]. FUNDAMENTA INFORMATICAE, 2008, 88 (03) : 251 - 274
  • [34] Nets with tokens which carry data
    Lazic, Ranko
    Newcomb, Tom
    Ouaknine, Joel
    Roscoe, A. W.
    Worrell, James
    [J]. PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2007, 2007, 4546 : 301 - +
  • [35] HIERARCHY AND PARALLELISM IN PETRI NETS .1. COMPOSITE PETRI NETS
    TAL, AA
    YUDITSKII, SA
    [J]. AUTOMATION AND REMOTE CONTROL, 1982, 43 (07) : 936 - 943
  • [36] Formal Translation from Reversing Petri Nets to Coloured Petri Nets
    Barylska, Kamila
    Gogolinska, Anna
    Mikulski, Lukasz
    Philippou, Anna
    Piatkowski, Marcin
    Psara, Kyriaki
    [J]. REVERSIBLE COMPUTATION, 2022, : 172 - 186
  • [37] Limits of fluidification for a stochastic Petri Nets by timed continuous Petri Nets
    Benaya, N.
    El-Akchioui, N.
    Mourabit, T.
    [J]. 2018 INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND COMPUTER VISION (ISCV2018), 2018,
  • [38] PETRI NET TRANSFORMATION FOR DECISION MAKING: COMPOUND PETRI NETS TO ALTERNATIVES AGGREGATION PETRI NETS
    Ignacio Latorre-Biel, Juan
    Jimenez-Macias, Emilio
    [J]. 23RD EUROPEAN MODELING & SIMULATION SYMPOSIUM, EMSS 2011, 2011, : 613 - 618
  • [39] Petri nets and bisimulation
    Nielsen, M
    Winskel, G
    [J]. THEORETICAL COMPUTER SCIENCE, 1996, 153 (1-2) : 211 - 244
  • [40] Petri nets and dependability
    Bernardi, S
    Bobbio, A
    Donatelli, S
    [J]. LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 : 125 - 179
12345