JUCS - Journal of Universal Computer Science 11(2): 303-326, doi: 10.3217/jucs-011-02-0303
An Application of the DEDS Control Synthesis Method
expand article infoFrantisek Capkovic‡
‡ Institute of Informatics, Slovak Academy of Sciences, Bratislava, Slovakia

Corresponding author: Frantisek Capkovic ( frantisek.capkovic@savba.sk )

© Frantisek Capkovic.
This article is freely available under the J.UCS Open Content License.
Citation: Capkovic F (2005) An Application of the DEDS Control Synthesis Method. JUCS - Journal of Universal Computer Science 11(2): 303-326. https://doi.org/10.3217/jucs-011-02-0303
Open Access
Abstract
An application of the method suitable for modelling and control of general discrete event dynamic systems (DEDS) to special kinds of communication systems is presented in this paper. The approach is based on Petri nets (PN) defined in [Peterson 1981] and directed graphs (DG) described e.g. in [Diestel 1997]. It is supported by the previous author s works, especially [Capkovic 2003], [Capkovic 1998], [Tzafestas and Capkovic 1997].
Keywords
control synthesis, discrete event dynamic systems (DEDS)