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

Changyou Liu Changyou Liu,Yongjian Li Yongjian Li

doi:10.1109/cdc.2003.1272447

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

Changyou Liu Changyou Liu, Yongjian Li Yongjian Li

https://doi.org/10.1109/cdc.2003.1272447

Copy DOI

Publication Date: Dec 9, 2003

Affiliation: Civil Aviation University of China, Tsinghua University

#Discrete Event Dynamic Systems #Propositional Temporal Logic + Show 8 more

Abstract
Full-Text PDF
Similar Papers

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.

Full Text