M&S T&M in Logistics

1/12/01


Begin


Summary

M&S T&M in Logistics

Aims

Classes of Models

Discrete State Models

Discrete State Models

Discrete State Models

Discrete Event Model

Untimed Models

Timed Models

Stochastic Timed Models

Untimed Formalism: 1-Petri Nets

Petri Nets (PN)

Petri Nets: Informal Presentation

Petri Nets: Informal Presentation

Petri Nets: Graphic Tool

Petri Nets: Dynamics

Example of Interpretation linked to PM

Building a PN Model: Task Ordering

Building a PN Model: Example of Task Ordering

Building a PN Model: Example Task Ordering

Building a PN Model: Task Ordering

Building a PN Model: Task Ordering

Generalized PN

Example

Example

PN: Formalism Presentation

PN: Formalism Presentation

PN: Formalism Presentation

PN: Formalism Presentation

PN: Formalism Presentation

PN: Formalism Presentation

PN: Formalism Presentation

PN: Formalism Presentation

PN: Formalism Presentation

PN: Formalism Presentation

PN: Formalism Presentation

PN: Formalism Presentation

PN: Formalism Presentation

PN: Formalism Presentation

PN: Formalism Presentation

PN: Formalism Presentation

PN: Formalism Presentation

PN: Formalism Presentation

Untimed Formalism: 2-Automata

Automata

Automata

Automata

Example

Example

Example

Conceptual Simulator

Simulator

Logical Time Discrete State Models

Untimed Formalism: Extended Automata

Extended Automata

Definition & Interpretation

Example

Conceptual Simulator

Example

Example

Input Output Event Variable

Press Model

Building Model

Timed Formalism for Discrete Event Models

Event Graph

Event Graph

Event Graph

Event Graph

Event Graph

Simulation Run

Event Graph

Event Graph

Event Graph

Event Graph

Event Graph

High Level Petri Nets

High Level Petri Nets

Extension with Color

Extension with Time

Extension with Hierarchy

Colored Petri Nets

Colored Petri Nets

Example

Example

Colored Petri Nets

Colored Petri Nets

Enabled Transition

Firing an Enabled Transition

Example Manufacturing Line

Example

Properties of Colored PN

Temporized Petri Nets

Temporized Petri Nets

P-Temporized PN

Reachability Graph

Example

Example

T-Temporized and P-Temporized Nets

Timed Petri Net

Synchronized PN

Synchronized PN

Synchronized PN

Complete Simulation Sequence: CSS

CSS

Simulation Algorithm

Graph of Reachable Markings

Interpreted PN

Interpreted PN

Example

Example

Timed Formalism: DEVS

DEVS

DEVS

DEVS

DEVS

DEVS

DEVS

Example

DEVS

Formal Specification

Formal Specification

Timed Automata

Timed Automata

Timed Automata

Timed Automata

Timed Automata

Timed Automata

Timed Automata

Timed Automata

Timed Automata

Stochastic Models: Queuing Models

Queuing Models

Queuing Models

Queuing Models

Queuing Models

Queuing Models

Queuing Models

Example

Example

Example

Doing Simulation

Application Example

Workflow

Basic Terminology

Basic Terminology

Workflow Management

What is a Workflow Management System?

Business Process

Process Definition

Activity - Task

Modeling Workflow

Process Definition

Case

Routing of Cases

Examples

Examples

Choice

Exercise

Triggers

Triggers

Example

Techniques to Analyze Workflows

Analysis Techniques

Workflow Nets

Workflow Nets

Workflow Nets

Workflow Nets

Workflow Nets

Example

Soundness

Soundness

Soundness

Soundness?

References

References

Author:IUSPIM

Email: claudia.frydman@VMESA12.U-3MRS.FR

Home Page: http://st.itim.unige.it/iepal

Info:
Norbert Giambiasi, Claudia Frydman, Aziz Naamane L6 - Universite' de AIX Marseille Avenue Escadrille Normandie-Niemen 13397 MARSEILLE CEDEX 20, FRANCE Telephone: +33 4 91 05 60 54 Fax: +33 4 91 05 60 33