A DISTRIBUTED SIMULATOR FOR HIGH-ORDER PETRI NETS

被引：0
|
作者：
BUTLER, B
ESSER, R
MATTMANN, R
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 483卷
关键词：
EMBEDDED SYSTEMS; EXECUTABLE SPECIFICATION; PETRI NETS; DISTRIBUTED SIMULATOR; CSP; INTERCONNECTION ARCHITECTURE; TRANSPUTER; OCCAM;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper describes a distributed simulator of high order Petri nets for a parallel computer. It shows how the inherent parallelism of a Petri net can be used to obtain a fast simulator. The design decisions made in implementing a distributed simulator in hardware and software are discussed and a detailed description of both is given. The simulator is a component of a suite of tools which allow the construction of specifications of embedded systems. A special form of Predicate/Transition net is used as a model of a specification. This allows the real time simulation of a sufficiently refined specification, which can then be used as a system prototype or implementation.
引用
收藏
页码：47 / 63
页数：17
相关论文
共 50 条
  • [1] An evolutive distributed algebraic petri nets simulator
    Hulaas, J
    [J]. MODELLING AND SIMULATION 1996, 1996, : 348 - 352
  • [2] On the Distributed Implementation of Petri Nets
    Taubner, Dirk
    [J]. IT - Information Technology, 1988, 30 (05): : 357 - 370
  • [3] Distributed Context Petri Nets
    Fandino de la Hoz, Jose Daniel
    Sosa, Juan Sebastian
    Cardozo, Nicolas
    [J]. PROCEEDINGS OF THE WORKSHOP ON CONTEXT-ORIENTED PROGRAMMING (COP'19), 2019, : 24 - 31
  • [4] Distributed unfolding of Petri nets
    Baldan, Paolo
    Haar, Stefan
    Koenig, Barbara
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2006, 3921 : 126 - 141
  • [5] Distributed Petri nets ROS
    Ebert, Sebastian
    Mey, Johannes
    Schoene, Rene
    Goetz, Sebastian
    Assmann, Uwe
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2024,
  • [6] Development of a shipyard simulator based on Petri nets
    Aoyama K.
    Nomoto T.
    Watanabe K.
    [J]. Journal of Marine Science and Technology, 1999, 4 (1) : 35 - 43
  • [7] Analysing a missile simulator with coloured Petri nets
    Gordon S.
    Billington J.
    [J]. International Journal on Software Tools for Technology Transfer, 1998, 2 (2) : 144 - 159
  • [8] Analysing a missile simulator with coloured Petri nets
    Gordon, Steven
    Billington, Jonathan
    [J]. International Journal on Software Tools for Technology Transfer, 1998, 2 (02): : 144 - 159
  • [9] CONSERVATIVE DISTRIBUTED SIMULATION OF PETRI NETS
    NKETSA, A
    [J]. COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1994, 27 (9-10) : 45 - 51
  • [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