Algebraic tools for the performance evaluation of discrete event systems
- 1 January 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE
- Vol. 77 (1) , 39-85
- https://doi.org/10.1109/5.21069
Abstract
It is shown that a certain class of Petri nets called event graphs can be represented as linear time-invariant finite-dimensional systems using some particular algebras. This sets the ground on which a theory of these systems can be developed in a manner which is very analogous to that of conventional linear system theory. Some preliminary basic developments in that direction are shown. Several ways in which one can consider event graphs as linear systems are described. These correspond to approaches in the time domain, in the event domain, and in a two-dimensional domain. In each of these approaches, a different algebra has to be used for models to remain linear, but the common feature of these algebras is that they all fall into the axiomatic definition of 'dioids'. A unified presentation of basic algebraic results on dioids is provided.<>Keywords
This publication has 10 references indexed in Scilit:
- Discrete event systems with stochastic processing timesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Cramer and Cayley-Hamilton in the max algebraLinear Algebra and its Applications, 1988
- Dating and counting events in discrete-event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- A functional model for describing and reasoning about time behaviour of computing systemsActa Informatica, 1986
- Théorême de Cayley-Hamilton dans les dioïdes et application à l’étude des sytèmes à évènements discretsPublished by Springer Nature ,1986
- Performance evaluation of decision-free stochastic timed petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1985
- A linear-system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturingIEEE Transactions on Automatic Control, 1985
- Linear system theory for discrete event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984
- A combinatorial proof of the Cayley-Hamilton theoremDiscrete Mathematics, 1983
- Performance Evaluation of Asynchronous Concurrent Systems Using Petri NetsIEEE Transactions on Software Engineering, 1980