Design of distributed systems using Petri nets: A graduate computer science course

被引：0
|
作者：
Mikolajczak, B
机构：
来源：
REAL-TIME SYSTEMS EDUCATION | 1996年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper shares educational experiences in teaching design of distributed computing systems using Petri nets with application to engineering software for embedded systems. We put special emphasis on understanding of fundamental concepts and their applications to specification and design of distributed software systems using Colored Petri nets. The paper contains a description of lecture contents, a formulation of two project assignments, and topics of research papers, explored over a period of several years, on applications of Petri nets in software engineering. Timed and stochastic Petri nets are used to model real-time events and to evaluate computer systems' performance. The material is based partly on two graduate courses: CIS 525, Topics on Parallel Computations, and CIS 578, Performance Evaluation of Computer Systems, taught by the author during last several years at the University of Massachusetts Dartmouth. In both courses, Colored Petri nets play a significant and unifying role in systems' design.
引用
收藏
页码：126 / 134
页数：9
相关论文
共 50 条
  • [31] A petri nets based design of cognitive radios using distributed signal processing
    Spiegel, Christoph
    Viessmann, Alexander
    Burnic, Admir
    Kocks, Christian
    Waadt, Andreas
    Scheiber, Ernest
    Statnikov, Konstantin
    Bruck, Guido H.
    Jung, Peter
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON MINING SCIENCE & TECHNOLOGY (ICMST2009), 2009, 1 (01): : 1474 - 1479
  • [32] Design/CPN - A computer tool for Coloured Petri Nets
    Christensen, S
    Jorgensen, JB
    Kristensen, LM
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1997, 1217 : 209 - 223
  • [33] Specification of distributed systems with actors using object-oriented Petri nets
    Mikolajczak, B
    Ottlik, A
    SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3134 - 3140
  • [34] Backward Conflict Free Systems with Resources and Their Distributed Control Using Petri Nets
    Yang, Yan
    Hu, HeSuan
    2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES), 2016, : 264 - 271
  • [35] Evolutive prototyping of heterogeneous distributed systems using hierarchical algebraic Petri nets
    Buchs, D
    Hulaas, J
    INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 3021 - 3026
  • [36] Implementation of distributed control architecture for robotic manufacturing systems using Petri nets
    Yasuda, C.
    2006 IMACS: Multiconference on Computational Engineering in Systems Applications, Vols 1 and 2, 2006, : 1155 - 1160
  • [37] Petri nets in applied computer science - introduction, foundation and perspectives
    Wirtschaftsinformatik, 4 (359):
  • [38] Systems monitoring using Petri nets
    Park, Y
    SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 3245 - 3248
  • [39] Simulation Based Design of Control Systems Using DEVS and Petri Nets
    Koci, Radek
    Janousek, Vladimir
    COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009, 2009, 5717 : 849 - 856
  • [40] Petri Nets for the Design and Operation of Manufacturing Systems
    Silva, M.
    Teruel, E.
    EUROPEAN JOURNAL OF CONTROL, 1997, 3 (03) : 182 - 199
12345