Abstract
We study a subclass of Petri nets, called hybrid timed event graphs with multipliers, or equivalently, hybrid timed weighted marked graphs, composed of continuous and discrete graphs interconnected among themselves. Such graphs can be modeled by using a particular algebra, called dioid, defined on a set of operators and endowed with the pointwise minimum operation as addition and the composition operation as multiplication. A just in time control method of these graphs based on residuation theory is proposed.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Alla H, David R (1998) Continuous and hybrid petri nets. J Circuits Syst Comput. 8:159–188.
Baccelli F, Cohen G, Olsder G J, Quadrat J-P (1992) Synchronization and Linearity: An Algebra for Discrete Event Systems Wiley.
Balduzzi F, Giua A, Menga G (2000) First-order hybrid Petri nets: a model for optimization and control. IEEE Trans Robot Autom 16(4):382–399.
Blyth T S, Janowitz M F (1972) Residuation Theory Oxford: Pergamon.
Cohen G, Moller P, Quadrat J-P, Viot M (1989) Algebraic tools for the performance evaluation of discrete event systems, IEEE Proceedings 77(1):39–58.
Cohen G, Gaubert S, Quadrat J-P (1995) Asymptotic throughtput of continuous timed petri nets, Proceedings of the IEEE-CDC New Orleans, Louisiana.
Cohen G, Gaubert S, Quadrat J-P (1998a) Algebraic system analysis of timed Petri nets. In: J. Gunawardena (ed), Idempotency Collection of the Isaac Newton Institute, Cambridge University Press, ISBN 0-521-55344-X, pp. 145–170.
Cohen G, Gaubert S, Quadrat J-P (1998b) Timed-event graphs with multipliers and homogeneous min-plus systems. IEEE TAC 43(9):1296–1302.
Cottenceau B, Hardouin L, Boimond J-L, Ferrier J-L (2001) Model reference control for timed event graphs in dioids, Automatica. 37:1451–1458.
David R, Alla H (1987) Continuous Petri nets. In 8th European Workshop on Application and Theory of Petri Nets, Zaragoza, Spain.
David R, Alla H (2001) On hybrid Petri nets. DEDS (Discrete Event Dynamic Systems: Theory and Applications), 11:9–40.
Komenda J (2001) Modeling and control of continuous and hybrid petri nets, Workshop on Maxplus Algebras, IFAC SSSC'01, pp.127–132.
Komenda J, El Moudni A, Zerhouni N (2001 Input–output relation and time-optimal control of a class of hybrid petri nets using (min,+) semiring. DEDS (Discrete Event Dynamic Systems: Theory and Applications) 11(1): 59–75.
Lahaye S, Boimond J-L, Hardouin L (2003) Linear periodic systems over dioids, DEDS (Discrete Event Dynamic Systems: Theory and Applications), (to appear).
Max-Plus (1991, July) A linear system theory for systems subject to synchronization and saturation constraints. In 1-th ECC, Grenoble, France, pp. 1022–1033.
Menguy E (1997, November) Contribution à la commande des systémes linéaires dans les dioïdes, PhD thesis, Université d'Angers, Angers, France.
Murata T (1989) Petri nets: properties, analysis and applications. IEEE Proceedings. 77(4):541–580.
Olsder G J (1991) Synchronized continuous flow systems, In: Report 91–88, Delft University of Technology, The Netherlands.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hamaci, S., Boimond, JL. & Lahaye, S. Modeling and Control of Hybrid Timed Event Graphs with Multipliers Using (Min, +) Algebra. Discrete Event Dyn Syst 16, 241–256 (2006). https://doi.org/10.1007/s10626-006-8135-7
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10626-006-8135-7