In: Lecture Notes in Computer Science : Rapid Integration of Software Engineering Techniques, Volume 3943, 2006, pages 250-265. 2006. URL: http://dx.doi.org/10.1007/1175111318.
Abstract: In this paper we show how network structure and traffic may be modeled and simulated using the Concurrent Object-Oriented Petri Nets formalism with system risk analysis in mind. A small example of network is given, along with its model, which is then extended and simulated. We also show the different directions we plan to take in order to make the models even more realistic and to be able to verify them.