Consistency in model integration

We present a UML-inspired approach to modeling and analysis of complex systems. Different stakeholders of a system may have different views, modeled with different techniques. It is essential that the various aspect models (use cases and life cycles) provide a complete and consistent description of the total system. Our approach based on the composition and decomposition of (colored) Petri nets allows the integration of aspect models. We illustrate our approach by a case study