Abstract
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.
This work has been partially supported by the ECC EUREKA project IRENA (EU-389).
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bernard J.M., Mounier J.L., Beldiceanu N., Haddad S.; “AMI: An extensible Petri Net Internetive Workshop”; 9th European Workshop on ATPN, Venice, Italy, pp. 101–117; June 1988.
Bonnaire X., Dutheillet C., Haddad S., “SANDRINE: An Analysis System for the declaration of AMI-Nets, Internal report of the Blaise Pascal Institute, MASI 92.20, June 1992.
Chiola G., C. Dutheillet, G. Franceschinis, S. Haddad; “On Well-Formed Coloured Petri nets and their Symbolic Reachability Graph”. Proceedings of the 11th International Conference on Application and Theory of Petri nets, Paris, June 1990.
Chiola G., Franceschinis G.: “A Structural Colour Simplification in Well-Formed Coloured Nets”. In proc. of the 4th International Workshop on Petri Nets and Perfomance Models (PNPM 91), IEEE CS Press, Melbourne, Australia, December 1991, pp 144–153.
Chiola G., Franceschinis G., Gaeta R.: A symbolic simulation mechanism for Well-Formed Coloured Petri Nets. In proc. of the 25th simulation symposium, Orlando, Florida, 1992.
Christensen S.; “Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs”. In proc. of the 14th International Conference on Application and Theory of Petri nets, Chicago, June 1992.
Doldi L., Gauthier P.; “VEDA2, Power for the designer”; FORTE'92, Fifth International Conference on Formal Description Techniques; Lannion; France; Oct. 1992.
Dutheillet C., Haddad S.; “Regular Stochastic Petri Nets”, In High-level Petri Nets. Theory and Application, K. Jensen and G. Rozenberg eds., Springer-Verlag, pp 470–493, 1991.
Fischer Y., Foughali K., “Integrating Tools in the AMI v.1.3 Environment”, Internal report of the Blaise Pascal Institute, MASI 93.15, Mars 1993.
Genrich H.J.; “Predicate / Transition Nets”. In High-level Petri Nets. Theory and Application, K. Jensen and G. Rozenberg eds., Springer-Verlag, 1991, pp 3–43.
Godfroid P.; “Using Partial Orders to improve Automatic Verification Methods; LNCS 531, Springer, 176–185; 1991.
Janicki R.; “Optimal Simulation, nets and reachability Graphs”; Advances in Petri Nets; LNCS 524, pp 205–226; 1991.
Jensen K., Rozenberg G. (Eds); “High Level Petri Nets, Theory and Appplication”, Springer Verlag, 1991.
Nutt G.J., “A Simulation System Architecture for Graph Models”, Advances in Petri Nets, LNCS 483, pp 417–435, 1990.
Valmari A.; “Stubborn Sets of Coloured Petri Nets”. Proceedings of the 12th International Conference on Application and Theory of Petri nets, Denmark, June 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ilié, JM., Rojas, O. (1993). On well-formed nets and optimizations in enabling tests. In: Ajmone Marsan, M. (eds) Application and Theory of Petri Nets 1993. ICATPN 1993. Lecture Notes in Computer Science, vol 691. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56863-8_53
Download citation
DOI: https://doi.org/10.1007/3-540-56863-8_53
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56863-6
Online ISBN: 978-3-540-47759-4
eBook Packages: Springer Book Archive