On Well-Formed Nets and Optimizations in Enabling Tests

Simulation techniques are frequently used to verify behavioural properties of complex systems. The tools which enhance these techniques have to cope with combinatorial explosion problems, even for small system specifications. Several optimizations have been proposed in order to perform exhaustive simulations. In well-formed nets, they may be complemented by optimized management of transition firings. We would like to propose a methodological approach to take into account dependency relations between tokens to avoid useless combinations. A simulation service has been implemented to enhance this work.