Petri Nets for Modeling and Computing

Petri Nets for Modeling and Computing

Dmitry A. Zaitsev (International Humanitarian University, Ukraine)
Release Date: August, 2015|Copyright: © 2016 |Runtime: 2 hrs 25 mins
EISBN13: 9781466695948|DOI: 10.4018/978-1-4666-9594-8
Institution (Multi User Access) Video Prices
Streaming Access:
Individual (Single User Access) Video Prices
Streaming Access:


A petri net is a mathematical modeling language found in computer science, systems engineering, networking, and other applications. Further understanding of petri nets and their applications can be especially beneficial to computer scientists, engineers, and professionals across sectors.

Petri Nets for Modeling and Computing presents recent developments in Petri net theory and petri net applications for automated manufacturing, networking, and computing. Including a variety of applied techniques, practical examples, and tools for implementation, this video lecture series is ideal for use by programmers, IT specialists, mathematicians, engineers, and graduate-level students in relevant fields of study.

Table of Contents

Introduction and Biography
2:12 mins
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