Back to workshop page: http://www.informatik.uni-hamburg.de/TGI/events/pnse09/Invited Speaker
Christophe Sibertin-Blanc (France)
Abstract:
The structure of a system may be described with three sorts of related elements: operations the performances of which make the system go from a consistent state to another one; active actors, or processors, that perform operations; passive entities that are involved in operation occurrences. The association of a processor, an operation and a list of entities defines an action. Each of these elements may be hierarchically refined and are subject to the type-instance distinction.
On the basis of a so defined structure, the behavior of a system is defined by a control structure that determines the possibility for an act - an action occurrence - to occur. The talk will show how Petri nets are well suited to define this control structure.
| [TGI] [Informatik] [Universität] |
|