Workshop PNSE'97

Petri Nets in System Engineering

Modelling, Verification, and Validation

Hamburg, Germany, September 25-26, 1997


Thursday, September 25th:

8:30 - 9:15
9:15 - 9:30
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
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

Friday, September 26th:

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
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

[PNSE97] TGI Informatik
Letzte Änderung: 17:40 19.05.2011