Study on real-time discrete event systems by using controlled temporal timed-Petri-nets

Author

Liu, Changyou ; Li, Yongjian

Author_Institution

Coll. of Transportation Eng., Civil Aviation Univ. of China, Tianjin, China

Volume

5

fYear

2003

fDate

9-12 Dec. 2003

Firstpage

5113

Abstract

In this paper, the framework of hybrid model of controlled timed Petri nets (CTPN) with propositional temporal logic (PTL) is studied for modelling and analyzing real-time discrete event dynamic systems (DEDS). The properties of system and its expectation specification are described by proposition temporal logic. Controller of discrete event dynamic systems is designed according to the specification of PTL formulas. An illustrative example of biochemistry process is given to show the design procedures of controller driven the evolution of DEDS according to the expected behavior.

Keywords

Petri nets; control system synthesis; discrete event systems; real-time systems; temporal logic; biochemistry process; controlled temporal timed Petri nets; controller design; discrete event dynamic systems; expectation specification; modelling; propositional temporal logic; real time discrete event systems; Automation; Biochemistry; Control systems; Discrete event systems; Educational institutions; Fuzzy control; Logic; Petri nets; Power system modeling; Real time systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 2003. Proceedings. 42nd IEEE Conference on

ISSN

0191-2216

Print_ISBN

0-7803-7924-1

Type

conf

DOI

10.1109/CDC.2003.1272447

Filename

1272447