In: Invited Session on Modelling and Analysis based on Petri nets - International Conference on Information Systems, Analysis, and Synthesis. Proceedings of the World Multiconference on Systemics, Cybernatics ans Informatics (SCI'2001), Computer Science and Engineering: Part II, Volume 14, 2001.