Changes between Version 10 and Version 11 of Events/ACPN2010/Diary

Timestamp:

Sep 18, 2010, 12:57:41 PM (14 years ago)

Author:

3hewelt

Comment:

added description of some lectures

Events/ACPN2010/Diary

@@ -34 +34 @@
 }}}
 {{{#!td rowspan=2 align=left border=0
--
+- this lecture should originally be held by Eike Best
+- Structure Theory 
+- PN Classes State Machines, Marked Graphs, Free Choice Nets
+- Invariants (S- and T-Invariants)
+- Traps and Siphons and their relations to liveness and boundedness (Commoners Theorem)
+- Decomposition of PNs into S- and T-Components
+- Rank Theorem
+- Structure of CPN, Transformation of finite color domain CPN, Invariants
 }}}
 |----------------
@@ -58 +65 @@
 }}}
 {{{#!th rowspan=2 align=left border=0
--
+- Region Theory
+- Synthesis of PN from Transition Systems
+- Properties of Regions: Suitability, minimal Regions
+- slides from this lecture can be found in the lecture "Modelle von Petrinetzen (SS2010)" by Valk at this location: http://www.informatik.uni-hamburg.de/TGI/lehre/vl/SS10/modelle-pn/PN4(synthese).key.pdf
 }}}
 |----------------
@@ -68 +78 @@
 }}}
 {{{#!td rowspan=2 align=left border=0
-- 
+- Hardware synthesis
 }}}
 |----------------