A Petri Net Based Modelling and
Synthesis Technique for Real-Time Systems
Zebo Peng and Anders Törne
Dept. of Computer and Information Science, Linköping University, Sweden
ABSTRACT
This paper presents a general approach to model, analyze and synthesize
real-time systems. It describes a basic model for specifying real-time systems
based on an extended timed Petri net notation, which can be used to study and
verify several important characteristics of the modelled system. The model
consists of a timed Petri net representing the controlling sub-system and an
activity diagram representing the controlled sub-system. Designers can use
both top-down and bottom-up synthesis techniques to carry out the design tasks
based on the model. This paper presents mainly the application of the proposed
method in modelling and synthesizing flexible manufacturing systems. Our
ultimate goal is, however, to develop a general design environment for
systematic modelling and design of large real-time systems.
Download the paper
(42841 bytes).
Anders Törne
<andto@ida.liu.se>