Sökning: "Colored Petri Nets"

Hittade 1 avhandling innehållade orden Colored Petri Nets.

1. 1. A Verification Framework for Component Based Modeling and Simulation : “Putting the pieces together”

   Författare :Imran Mahmood; Rassul Ayani; Gary Tan; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Modeling and Simulation; Component-based development; Composability; Semantic Composability; Dynamic-Semantic Composability; Verification; Correctness; Petri Nets Analysis; Algebraic Techniques; Colored Petri Nets; State-space Analysis; Communicating Sequential Processes; Model Checking.; SRA - ICT; SRA - Informations- och kommunikationsteknik;

   Sammanfattning : The discipline of component-based modeling and simulation offers promising gains including reduction in development cost, time, and system complexity. This paradigm is very profitable as it promotes the use and reuse of modular components and is auspicious for effective development of complex simulations. LÄS MER