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 条
  • [21] A distributed state space for modular Petri nets
    Ouni, Hiba
    Abid, Chiheb Ameur
    Zouari, Belhassen
    [J]. 2015 7th International Conference on Modelling, Identification and Control (ICMIC), 2014, : 336 - 341
  • [22] Sequential and distributed model checking of Petri nets
    Bell A.
    Haverkort B.R.
    [J]. International Journal on Software Tools for Technology Transfer, 2005, 7 (1) : 43 - 60
  • [23] Distributed Fault Detection by Labeled Petri Nets
    Fanti, Maria Pia
    Mangini, Agostino M.
    Ukovich, Walter
    [J]. PROCEEDINGS 2012 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2012, : 1195 - 1200
  • [24] Distributed processing based on Timed Petri Nets
    Fang, Xianwen
    Xu, Zhicai
    Yin, Zhixiang
    [J]. ICNC 2007: THIRD INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, VOL 5, PROCEEDINGS, 2007, : 287 - +
  • [25] Analysis of the operational Petri nets by a distributed system
    Karatkevich, AG
    Gratkowski, T
    [J]. MODERN PROBLEMS OF RADIO ENGINEERING, TELECOMMUNICATIONS AND COMPUTER SCIENCE, PROCEEDINGS, 2004, : 319 - 322
  • [26] Modeling and Verifying Distributed Systems with Petri Nets
    Baarir, Souheib
    Kordon, Fabrice
    [J]. PROCEEDINGS OF THE 2012 IEEE SECOND INTERNATIONAL WORKSHOP ON ADVANCED INFORMATION SYSTEMS FOR ENTERPRISES (IWAISE 2012), 2012, : 92 - 92
  • [27] Distributed algorithms: Modeling and analysis with Petri Nets
    Reisig, W
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 38 - 43
  • [28] Modelling high-order filters in a transient microwave circuit simulator
    Hart, F. P.
    Luniya, S. R.
    Nath, J.
    Victor, A.
    Walker, A.
    Steer, M. B.
    [J]. IET MICROWAVES ANTENNAS & PROPAGATION, 2007, 1 (05) : 1024 - 1028
  • [29] High Level Petri Nets, a Tool for Modelling and Analysis of Distributed Systems.
    Mueller, Horst
    [J]. Informationstechnik, 1988, 30 (02): : 110 - 117
  • [30] Graphical simulator for programmable logic controllers based on Petri nets
    Barker, HA
    Grant, PW
    Song, J
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1996, 41 (10): : 737 - 756
12345