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

Description

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
 

Author(s)/Editor(s) Biography

Dmitry A. Zaitsev received the Eng. degree in applied mathematics from Donetsk Polytechnic Institute, Donetsk, Ukraine, in 1986, the Ph.D. degree in automated control from the Kiev Institute of Cybernetics, Kiev, Ukraine, in 1991, and the Dr.Sc. degree in telecommunications from the Odessa National Academy of Telecommunications,Odessa, Ukraine, in 2006. He published more than a hundred papers, 2 books, and 2 book chapters. He developed the universal Petri nets, the analysis of infinite Petri nets with regular structure, the decomposition of Petri nets in clans, and the method of synthesis of fuzzy logic function given by tables. He is the ACM Senior Member.