School of Computer Science and Technology Shandong Jianzhu University Jinan 250101 China;
School of Information and Electrical Engineering Shandong Jianzhu University Jinan 250101 China;
Modeling; Petri nets; property preservation; subnet; synthesis;