Simulation of Petri nets and linear enabling functions

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