In: Proc. IFAC Conf. on Control Systems Design (CSD'2000), 18-20 June 2000, Bratislava, Slovak Republic, pages 349-354. 2000.
Abstract: This paper describes a unified approach to modeling and control of different kinds of dynamic systems using algebraically generalized petri nets. These are abstract nets in which the number of places, transitions and input/output functions, but also the carrier for net markings, operation used in dynamics of net, enabling rule, and possibly algebraic structure used for firing vectors are formal parameters.
Keywords: Petri nets, discrete-event systems, hybrid systems.