COLOURED PETRI NETS WITH PARALLEL COMPOSITION TO SEPARATE CONCERNS

被引：0
|
作者：
Roubtsova, Ella [1 ]
McNeile, Ashley [2 ]
机构：
[1] Open Univ Netherlands, Heerlen, Netherlands
[2] Metamaxim Ltd, London, England
来源：
ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION | 2010年
关键词：
Concerns; Modeling; Coloured Petri nets; Protocol modeling; CSP composition; Observational consistency; Local reasoning;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We define a modeling language based on combining Coloured Petri Nets with Protocol Modeling semantics. This language combines the expressive power of Coloured Petri Nets in describing behavior with the ability provided by Protocol Modeling to compose partial behavioral descriptions. The resultant language can be considered as a domain specific Coloured Petri Net based language for deterministic and constantly evolving systems.
引用
收藏
页码：501 / 504
页数：4
相关论文
共 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] Faster Simulation of (Coloured) Petri Nets Using Parallel Computing
    Pommereau, Franck
    de la Houssaye, Jordan
    [J]. APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2017, 2017, 10258 : 37 - 56
  • [3] Verifying Parallel Algorithms and Programs Using Coloured Petri Nets
    Westergaard, Michael
    [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY VI, 2012, 7400 : 146 - 168
  • [4] Refinement of coloured Petri nets
    Best, E
    Thielke, T
    [J]. FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 1997, 1279 : 105 - 116
  • [5] On the abstraction of Coloured Petri Nets
    Lakos, C
    [J]. APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 42 - 61
  • [6] Coloured Batches Petri Nets
    Caradec, M
    Prunet, F
    [J]. MANAGEMENT AND CONTROL OF PRODUCTION AND LOGISTICS, VOL 1 AND 2, 1998, : 227 - 232
  • [7] Addressing problem frame concerns via coloured petri nets and graphical animation
    Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, Aarhus N
    DK-8200, Denmark
    [J]. ACM Special Interest Group on Software Engineering (SIGSOFT), 1600, 49-57 (May 23, 2006):
  • [8] 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
  • [9] Coloured Petri nets and graphical animation: a proposal for a means to address problem frame concerns
    Jorgensen, Jens Baek
    [J]. EXPERT SYSTEMS, 2008, 25 (01) : 54 - 73
  • [10] Composing abstractions of coloured Petri nets
    Lakos, C
    [J]. APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 323 - 345
12345