In: Valette, R.: Lecture Notes in Computer Science, Vol. 815; Application and Theory of Petri Nets 1994, Proceedings 15th International Conference, Zaragoza, Spain, pages 298-317. Springer-Verlag, 1994.
Abstract: For dynamic analysis to be a powerful and convenient instrument in system modelling, comprehensive support is required. Dynamic analysis should be embedded in an appropriate modelling environment and be supported by adequate visualization mechanisms. Such an environment may support model consistency, selective information display, hypertext-based documentation, model substitution, and complexity management; key mechanisms include flexible and comprehensive graphical simulation, a visual front-end to performance analysis, and an integrated user interface for the various dynamic analysis resolution methods. These concepts are being validated in Macrotec, a toolset for business modelling which is based on Macronets, a variation of the Petri net formalism. Preliminary results from using Macrote indicate that the described concepts substantially facilitate dynamic analysis and may be carried over to system modelling.