Analysing a missile simulator with coloured Petri nets

被引：1
|
作者：
Gordon S. [1 ]
Billington J. [1 ]
机构：
[1] School of Physics and Electronic Systems Engineering, Institute for Telecommunications Research, University of South Australia
来源：
International Journal on Software Tools for Technology Transfer | 1998年 / 2卷 / 2期
关键词：
Coloured Petri nets; Distributed systems; Missile simulator design; Reachability analysis; Simulation;
D O I：
10.1007/s100090050023
中图分类号：
学科分类号：
摘要：
The operation of a distributed missile engagement simulator is modelled and analysed. The simulator is developed as a testing platformformissile guidance and control algorithms. The simulator uses concurrency and remote execution to enhance performance. Two coloured Petri net models are created, simulated and analysed: an abstract model that specifies the service provided by the simulator to the graphical user interface and user, and a detailed model that describes the functionality of the simulator. It is shown that there are no deadlocks when communicating between components of the simulator and the simulator operates correctly. Also, for a set of input parameters, the detailed model provides the service described by the abstract model. © 1998 Springer-Verlag.
引用
收藏
页码：144 / 159
页数：15
相关论文
共 50 条
  • [1] Analysing a missile simulator with coloured Petri nets
    Gordon, Steven
    Billington, Jonathan
    International Journal on Software Tools for Technology Transfer, 1998, 2 (02): : 144 - 159
  • [2] Analysing a mechatronic system with coloured Petri nets
    Moncelet G.
    Christensen S.
    Demmou H.
    Paludetto M.
    Porras J.
    International Journal on Software Tools for Technology Transfer, 1998, 2 (2) : 160 - 167
  • [3] Analysing superscalar processor architectures with coloured Petri nets
    Burns F.P.
    Koelmans A.M.
    Yakovlev A.V.
    International Journal on Software Tools for Technology Transfer, 1998, 2 (2) : 182 - 191
  • [4] Coloured fuzzy Petri nets for modelling and analysing membrane systems
    Assaf, George
    Heiner, Monika
    Liu, Fei
    BIOSYSTEMS, 2022, 212
  • [5] CPN tools for editing, simulating, and analysing coloured Petri nets
    Ratzer, AV
    Wells, L
    Lassen, HM
    Laursen, M
    Qvortrup, JF
    Stissing, MS
    Westergaard, M
    Christensen, S
    Jensen, K
    APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 450 - 462
  • [6] Influence Tokens: Analysing Adversarial Behaviour Change in Coloured Petri Nets
    Carmichael, Peter
    Morisset, Charles
    Gross, Thomas
    6TH WORKSHOP ON SOCIO-TECHNICAL ASPECTS IN SECURITY AND TRUST (STAST 2016), 2016, : 29 - +
  • [7] From Coloured Petri Nets to Object Petri Nets
    Lakos, C
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
  • [8] Modelling and analysing the Contract Net Protocol - extension using Coloured Petri Nets
    Billington, Jonathan
    Gupta, Amar Kumar
    Callasch, Guy Edward
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2008, 2008, 5048 : 169 - 184
  • [9] Refinement of coloured Petri nets
    Best, E
    Thielke, T
    FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 1997, 1279 : 105 - 116
  • [10] On the abstraction of Coloured Petri Nets
    Lakos, C
    APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 42 - 61
12345