Structural Property Analysis of Petri Net
|
Title | Structural Property Analysis of Petri Net |
Authors | |
Abstract | Petri net synthesis can avoid the state exploration problem by guaranteeing the correctness in the Petri net while incrementally expanding the net. This paper proposes the conditions imposed on a synthesis shared pp subnet under which the following structural properties will be preserved: structural boundedness, structural liveness, conservativeness, repetitiveness, consistency, P-invariant, T-invariant and fairness. Such results release the designers burden for having to provide different methods for individual properties. |
Publisher | ACADEMY PUBLISHER |
Date | 2012-01-01 |
Source | Journal of Computers Vol 7, No 1 (2012): Special Issue: Parallel Algorithms, Scheduling and Architectures |
Rights | Copyright © ACADEMY PUBLISHER - All Rights Reserved.To request permission, please check out URL: http://www.academypublisher.com/copyrightpermission.html. |