Analysis of signal/event nets

Author

Starke, P.H. ; Hanisch, H.-M.

Author_Institution

Inst. of Comput. Sci., Humboldt-Univ., Berlin, Germany

fYear

1997

fDate

9-12 Sep 1997

Firstpage

253

Lastpage

257

Abstract

Net condition/event systems (NCES) have been defined to provide a modular modelling framework for discrete event systems. NCES are based on the interconnection of modules whose dynamic behavior is modeled by means of Petri nets. The interconnection is performed by signals only. The resulting system is no longer an ordinary, classical Petri net. Hence, if we want to analyse those systems by means of methods for Petri nets, we have to generalize the formalisms of Petri nets. We call those extended nets signal/event nets. In this paper, signal/events nets are defined and their position in the hierarchy of computational models is shown. Although the main problems are undecidable, analysis of signal/event nets is not impossible

Keywords

Petri nets; Turing machines; closed loop systems; discrete event systems; set theory; Petri nets; discrete event systems; dynamic behavior; extended nets; modular modelling framework; net condition/event systems; signal/event nets; Automatic control; Computational modeling; Computer science; Control system synthesis; Discrete event systems; Fires; Petri nets; Signal analysis; Signal generators; Signal synthesis;

fLanguage

English

Publisher

ieee

Conference_Titel

Emerging Technologies and Factory Automation Proceedings, 1997. ETFA '97., 1997 6th International Conference on

Conference_Location

Los Angeles, CA

Print_ISBN

0-7803-4192-9

Type

conf

DOI

10.1109/ETFA.1997.616278

Filename

616278