In: Procs of the 1994 IEEE International Conference on System, Man and Cybernetics, IEEE Computer Society Press, San Antonio, Texas, USA, pages 1671-1676. 1994.
Abstract: Practical tools for the design, analysis and simulation of Petri Net models, improve significantly the applicability of this mathematical formalism to complex systems. Much thought has been given to the problem of building such tools in an efficient and reliable way. Linear Enabling Functions (LEFs) provide a basis to efficiently implement Place Transition Weighted Systems. Transitions are classified in several classes, and their enabling is characterized through linear functions that depends on the class. For some classes, a transformation must be applied, preserving the behaviour of the net system.