Sökning: "CPN tool"

Hittade 2 avhandlingar innehållade orden CPN tool.

  1. 1. Sustainable Design and Control of Automated Material Handling Systems

    Författare :Maziar Mashaei; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Mixed integer leaner model.; CPN tool; Universal design framework; Sustainable production philosophy; Conceptual and detailed design phases; Automated material handling system; Pallet system; Synthesis and evaluation methods;

    Sammanfattning : An automated material handling system is a collection of electro mechanical components, electronics, and computer-based devices that act together to maintain flow of parts and materials in a modern production environment. Material flow is a significant factor in the design of manufacturing plants. LÄS MER

  3. 2. 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