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 条
  • [41] Design of observers/controllers for discrete event systems using Petri nets
    Giua, A
    Seatzu, C
    SYNTHESIS AND CONTROL OF DISCRETE EVENT SYSTEMS, 2002, : 167 - 182
  • [42] An approach to design distributed CTI applications using Petri nets: An example of a call center
    Anisimov, N
    Kishinski, K
    Miloslavski, A
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 238 - 243
  • [43] Graduate simulation course for computer science majors at CSULB
    Cynar, Sandra
    Proceedings of the SCS Multiconference on Modeling and Simulation on Microcomputers, 1990,
  • [44] Design and Verification of Distributed Logic Controllers with Application of Petri Nets
    Wisniewski, Remigiusz
    Grobelna, Iwona
    Grobelny, Michal
    Wisniewska, Monika
    INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2015 (ICCMSE 2015), 2015, 1702
  • [45] Distributed cooperation modeling for maintenance using Petri nets and multi-agents systems
    David, SV
    Christophe, L
    Noureddine, Z
    2003 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE IN ROBOTICS AND AUTOMATION, VOLS I-III, PROCEEDINGS, 2003, : 366 - 371
  • [46] A group RPC protocol analysis for distributed network management systems using Petri nets
    Lee, JK
    Lee, CS
    Lee, KH
    SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 4382 - 4387
  • [47] A model-based software engineering of parallel, and distributed systems using Petri nets
    Mikolajczak, B
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 284 - 288
  • [48] Dependability analysis of large-scale distributed systems using Stochastic Petri Nets
    Muppala, JK
    Lin, C
    INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 3033 - 3038
  • [49] Model-Based Design and Control of Distributed DNA-Based Systems by Petri Nets
    Mardian, Rizki
    Sekiyama, Kosuke
    NANO, 2016, 11 (01)
  • [50] Modeling dynamic objects in distributed systems with nested Petri nets
    Lomazova, IA
    FUNDAMENTA INFORMATICAE, 2002, 51 (1-2) : 121 - 133
12345