Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets

@article{citeulike:2998914, abstract = {<para> The current stepwise refinement operation of Petri nets mainly concentrates on property preservation, which is an effective way to analyze and verify complex systems. Further steps into this field are needed from the perspective of system synthesis and language preservation. First, the refinement of Petri nets is introduced based on a <formula formulatype="inline"><tex>\$k\$</tex> </formula>-well-behaved Petri net, in which <formula formulatype="inline"> <tex>\$k\$</tex></formula> tokens can be processed. Then, according to the different compositions of subsystems, well-, under- and overmatched refined Petri nets are proposed. In addition, the language and property relationships among sub-, original, and refined nets are studied to demonstrate behavior characteristics and property preservation in a system synthesis process. A manufacturing system is given as an example to illustrate the effectiveness of the proposed approach in synthesizing and analyzing the Petri nets of complex systems. </para>}, author = {Ding, Z. J. and Jiang, C. J. and Zhou, M. C. and Zhang, Y. Y. }, booktitle = {Systems, Man and Cybernetics, Part A, IEEE Transactions on}, citeulike-article-id = {2998914}, doi = {http://dx.doi.org/10.1109/TSMCA.2008.923064}, journal = {Systems, Man and Cybernetics, Part A, IEEE Transactions on}, keywords = {citas, deadlocks, nets, petri, petrinets}, number = {4}, pages = {791--801}, posted-at = {2008-07-14 15:19:07}, priority = {2}, title = {Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets}, url = {http://dx.doi.org/10.1109/TSMCA.2008.923064}, volume = {38}, year = {2008} }

TY - JOUR ID - citeulike:2998914 L3 - citeulike-article-id:2998914 TI - Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets T2 - Systems, Man and Cybernetics, Part A, IEEE Transactions on JF - Systems, Man and Cybernetics, Part A, IEEE Transactions on VL - 38 IS - 4 SP - 791 EP - 801 N2 - <para> The current stepwise refinement operation of Petri nets mainly concentrates on property preservation, which is an effective way to analyze and verify complex systems. Further steps into this field are needed from the perspective of system synthesis and language preservation. First, the refinement of Petri nets is introduced based on a <formula formulatype="inline"><tex>$k$</tex> </formula>-well-behaved Petri net, in which <formula formulatype="inline"> <tex>$k$</tex></formula> tokens can be processed. Then, according to the different compositions of subsystems, well-, under- and overmatched refined Petri nets are proposed. In addition, the language and property relationships among sub-, original, and refined nets are studied to demonstrate behavior characteristics and property preservation in a system synthesis process. A manufacturing system is given as an example to illustrate the effectiveness of the proposed approach in synthesizing and analyzing the Petri nets of complex systems. </para> KW - citas KW - deadlocks KW - nets KW - petri KW - petrinets AU - Ding, ZJ AU - Jiang, CJ AU - Zhou, MC AU - Zhang, YY PY - 2008/// UR - http://dx.doi.org/10.1109/TSMCA.2008.923064 ER -