Workshop PNSE'97

Petri Nets in System Engineering

8:30 - 9:15: Registration
9:15 - 9:30: Opening
9:30 - 10:30: Applying an Object-Oriented Petri Net Language to Heterogeneous Systems Design
R. Esser, J.W. Janneck, M. Naedele; Object Coloured Petri Nets - a Formal Technique for Object Oriented Modelling
Ch. Maier, D. Moldt
10:30 - 11:00: Coffee Break
11:00 - 12:00: Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes
J.B. Jorgensen, L.M. Kristensen; State Space Analysis of Hierarchical Coloured Petri Nets
S. Christensen, L.M. Kristensen
12:00 - 13:30: Lunch
13:30 - 14:30: Expanding the Use of Structuring -- Formal Justification for Working on Subnets
C. Ermel, M. Gajewsky; Parameterised General Refinement in the M-net Calculus
R. Devillers, H. Klaudel, R.-C. Riemann
14:30 - 15:00: Coffee Break
15:00 - 16:00: Scheduling with Chameleon Nets
T. Kis, K.-P. Neuendorf, P. Xirouchakis; A Petri-net-based Tool to Analyze Workflows
W.M.P. van der Aalst, H.M.W. Verbeek, D. Hauschildt
16:00 - 16:15: Coffee Break
16:15 - 17:00: Discussion

9:00 - 10:30: Modelling and Verification with Petri Nets
R. Mackenthun, M. Voorhoeve; A Temporal Logic for Events and States in Petri Nets
E. Kindler, T. Vesper; Transformation and Decomposition Techniques to Improve the Decision Power of the Rank Theorems
L. Recalde, E. Teruel, M. Silva
10:30 - 11:00: Coffee Break
11:00 - 12:00: Structural Analysis of Signal Transition Graphs
F. Garcia-Valles, J.M. Colom; A partial approach to the problem of deadlocks in processes with resources
F. Tricas, J. Ezpeleta
12:00 - 13:30: Lunch
13:30 - 14:30: Data Encapsulation and Data Abstraction with Petri Nets - graphical Visualization of Modules
O. Fricke; A Petri net-based support for object-oriented specification of complex control systems
A. Diagne, J.-M. Ilie, D. Moldt
14:30 - 14:45: Coffee Break
14:45 - 16:00: Discussion

Letzte Änderung: 17:40 19.05.2011