Section 1:Timed Petri Nets with Multichannel Transitions
Lesson 1:State Equation of Nets with Multichannel Transitions
11:02 mins
Lesson 2:Equivalent Transformations of Timed Petri Nets
6:30 mins
Lesson 3:Synthesis of a Fuzzy Logic Function
10:51 mins
Section 2:Clans of Petri Nets
Lesson 4:Decomposition into Clans
10:15 mins
Lesson 5:Compositional Analysis of Petri Nets
7:55 mins
Lesson 6:Optimal Collapse of a Weighted Graph
10:39 mins
Section 3:Petri Nets for Manufacture and Networking
Lesson 7:Automated Manufacture Control and Management
9:33 mins
Lesson 8:Verification of Communication Protocols
7:46 mins
Lesson 9:Performance Evaluation of Networks
13:08 mins
Section 4:Modeling with Infinite Petri Nets
Lesson 10:Models of a Square Grid and Hypercube
11:02 mins
Lesson 11:Methods of Infinite Petri Nets Analysis and Software Generators of Petri Net Models
16:16 mins
Section 5:Petri Net Computing
Lesson 12:Universal Petri Nets
16:45 mins
Lesson 13:Architecture of a Petri Net Computer
11:50 mins