On the abstraction of Coloured Petri Nets

被引：0
|
作者：
Lakos, C [1 ]
机构：
[1] Univ Tasmania, Dept Comp Sci, Hobart, Tas 7001, Australia
来源：
APPLICATION AND THEORY OF PETRI NETS 1997 | 1997年 / 1248卷
关键词：
theory of high-level Petri nets; abstraction; duality;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper considers the appropriate properties for abstract net components in the Coloured Petri Net formalism. In doing so, it attempts to maintain the duality between places and transitions which is so foundational to Petri Net theory. It also defines what it means to execute the net atom abstract level.
引用
收藏
页码：42 / 61
页数：20
相关论文
共 50 条
  • [1] From Coloured Petri Nets to Object Petri Nets
    Lakos, C
    [J]. APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
  • [2] Refinement of coloured Petri nets
    Best, E
    Thielke, T
    [J]. FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 1997, 1279 : 105 - 116
  • [3] Coloured Batches Petri Nets
    Caradec, M
    Prunet, F
    [J]. MANAGEMENT AND CONTROL OF PRODUCTION AND LOGISTICS, VOL 1 AND 2, 1998, : 227 - 232
  • [4] 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
  • [5] Composing abstractions of coloured Petri nets
    Lakos, C
    [J]. APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 323 - 345
  • [6] Orthogonal transformations for coloured Petri nets
    Best, E
    Thielke, T
    [J]. APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 447 - 466
  • [7] A modelling approach with coloured Petri nets
    Choppy, Christine
    Petrucci, Laure
    Reggio, Gianna
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2008, 2008, 5026 : 73 - +
  • [8] Haskell-Coloured Petri Nets
    Reinke, C
    [J]. IMPLEMENTATION OF FUNCTIONAL LANGUAGES, 2000, 1868 : 165 - 180
  • [9] Coloured Petri Nets: Status and outlook
    Jensen, K
    [J]. APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 1 - 2
  • [10] Distributed Simulation of Coloured Petri Nets
    Junior, Corneli G. F.
    Marques Vasconcelos, L. C.
    Barroso, G. C.
    Soares, J. M.
    Leite, L. F.
    [J]. 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), 2016,
12345