| 83 | == '''Thursday: Sep, 16th 2010''' == |
| 84 | '''Serge Haddad (ENS Cachan, France, [http://www.lsv.ens-cachan.fr/~haddad/ homepage])''' |
| 85 | |
| 86 | |
| 87 | {{{#!td rowspan=2 align=left border=0 |
| 88 | [[Image(wiki:Events/ACPN2010/Diary:shaddad.jpg,150px)]] |
| 89 | }}} |
| 90 | {{{#!th rowspan=2 align=left border=0 |
| 91 | - Stochastic PN |
| 92 | - Discrete Event Stochastic Processes (DESP) |
| 93 | - transient and steady state analysis |
| 94 | - Discrete Time Markov Chains (DTMC) |
| 95 | - Continuous Time Markov Chains (CTMC) |
| 96 | - Generalized Stochastic PN (GSPN) |
| 97 | - memory, choice and server policies for GSPN |
| 98 | }}} |
| 99 | |---------------- |
| 100 | === Lectures by === |
| 101 | and '''Giuliana Franceschinis (Università del Piemonte Orientale, Italy'''[[br]][[br]] |
| 102 | |
| 103 | {{{#!th rowspan=2 align=left border=0 |
| 104 | [[Image(wiki:Events/ACPN2010/Diary:gfranceschinis.jpg,150px)]] |
| 105 | }}} |
| 106 | {{{#!td rowspan=2 align=left border=0 |
| 107 | - Performance Evaluation of GSPN |
| 108 | - presented tool GreatSPN |
| 109 | }}} |
| 110 | |---------------- |