Document Type
Thesis
Date of Award
12-31-1991
Degree Name
Master of Science in Electrical Engineering - (M.S.)
Department
Electrical and Computer Engineering
First Advisor
Daniel Y. Chao
Second Advisor
Anthony D. Robbi
Third Advisor
MengChu Zhou
Abstract
Petri nets have been used for modeling and analyzing various systems [1,2,3,4,8]. One approach to Petri net synthesis is a knitting technique [4,5, 6,7]. It was developed for modeling concurrent systems. The Petri net model is incrementally expanded by adding paths of nodes according to rules. To extend the knitting technique to cover synchronized systems, a set of new rules based on synchronic distance concept is presented. The rules penult synchronizing M exclusive processes (M 2) to a synchronic distance of any positive integer N. They can be applied to both exclusive processes and independent processes. The resulting Petri net is guaranteed to be bounded, live, and reversible.
Recommended Citation
Zhang, Yanzhong, "Extension and applications of knitting technique for petri net synthesis" (1991). Theses. 2686.
https://digitalcommons.njit.edu/theses/2686
