Workshop PNSE'97
Petri Nets in System Engineering
Modelling, Verification, and Validation
Hamburg, Germany, September 25-26, 1997
Papers
-
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
-
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
-
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
-
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
-
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
-
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
-
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
Letzte Änderung: 17:40 19.05.2011
Impressum