Preserving languages and properties in stepwise refinement-based synthesis of Petri nets

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 38, Issue 4, 2008, Pages 791-801

  Ding, ZhiJun ^a   Jiang, ChangJun ^b   Zhou, MengChu ^c,d   Zhang, YaYing ^b  

^a SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b TONGJI UNIVERSITY   (China)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^d XIDIAN UNIVERSITY   (China)

Author keywords

Automated manufacturing system; Complex system; Formal language; Petri net; Refinement; System synthesis

Indexed keywords

CANNING; COMPLEXATION; COMPUTATIONAL GEOMETRY; ERROR ANALYSIS; FOOD PRESERVATION; LARGE SCALE SYSTEMS; LINGUISTICS; MANUFACTURE; MARINE BIOLOGY; PETRI NETS; QUERY LANGUAGES; REFINING;

(+ MOD 2N) OPERATION; (EXTENDED) PETRI NETS; (PL) PROPERTIES; COMPLEX SYSTEMS; LANGUAGES (TRADITIONAL); MANUFACTURING SYSTEMS; PROPERTY (S); PROPERTY PRESERVATION; STEPWISE REFINEMENT; SYNTHESIS (OF CHIRAL IONIC LIQUIDS); SYSTEM SYNTHESIS;

GRAPH THEORY;

EID: 46649102041     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2008.923064     Document Type: Article

References (36)

1. W. M. P Van der Aalst, "Workflow verification: Finding control-flow errors using Petri-net-based techniques," in Business Process Management, Models, Techniques, and Empirical Studies, vol. 806. Berlin, Germany: Springer-Verlag, 2000, pp. 161-183.
2. J. S. Ahuja and K. P. Valavanis, "A hierarchical modeling methodology for flexible manufacturing systems using extended Petri nets," in Proc. Int. Conf. Comput. Integr. Manuf., New York, 1988, pp. 350-356.
3. C. Betous-Almeida and K. Kanoun, "Construction and stepwise refinement of dependability models," Perform. Eval., vol. 56, no. 1-4, pp. 277-306, Mar. 2004.
4. W. Brauer, R. Gold, and W. Vogler, "A survey of behaviour and equivalence preserving refinements of Petri nets," in Advances in Petri Nets 1990, vol. 483. Berlin, Germany: Springer-Verlag, 1990, pp. 1-46.
5. Z. J. Ding and C. J. Jiang, "Temporal Petri net model of concurrent system," Int. J. Comput. Syst. Sci. Eng., vol. 17, no. 6, pp. 353-358, Nov. 2002.
6. Z. J. Ding, Z. H. Zhang, C. J. Jiang et al., "Formal model of workflow integration and its application in STISAG," Proc. 10th Int. Conf. Comput. Support. Coop. Work Des., Nanjing, China, 2006, pp. 1173-1178.
7. M. P. Fanti, "Deadlock resolution strategy for automated manufacturing systems including conjunctive resource service," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 80-92, Jan. 2004.
8. L. Gomes and J. P. Barros, "Structuring and composability issues in Petri nets modeling," IEEE Trans. Ind. Informat., vol. 1, no. 2, pp. 112-123, Feb. 2005.
9. X. D. He and J. A. N. Lee, "A methodology for constructing predicate transition net specifications," Softw. - Pract. Exper., vol. 21, no. 8, pp. 845-875, Aug. 1991.
10. H. J. Huang, T. Y. Cheung, and W. M. Mak, "Structure and behavior preservation by Petri-net-based refinements in system design," Theor. Comput. Sci., vol. 328, no. 3, pp. 245-269, Dec. 2004.
11. C. J. Jiang, "Dynamic invariance of Petri net," Sci. China, Set. E vol. 40, no. 6, pp. 605-611, Jun. 1997.
12. C. J. Jiang et al., "Urban traffic information service application grid," J. Comput. Sci. Technol., vol. 20, no. 1, pp. 134-140, Jan. 2005.
13. C. J. Jiang, H. Q. Wang, and S. Y. Liao, "Behavior relativity of Petri nets," J. Comput. Sci. Technol., vol. 17, no. 6, pp. 770-780, Jun. 2002.
14. E. Y. T. Juan, J. J. P. Tsai, and T. Murata, "Compositional verification of concurrent systems using Petri-net based condensation rules," ACM Trans. Program. Lang. Syst., vol. 20, no. 5, pp. 917-979, Sep. 1998.
15. C. H. Kuo, C. H. Wang, and K. W. Huang, "Behavior modeling and control of 300 mm fab intrabays using distributed agent oriented Petri net," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 33, no. 5, pp. 641-648, May 2003.
16. H. K. Lee and J. Favrel, "Hierarchical reduction method for analysis and decomposition of Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. SMC-15, no. 3, pp. 272-280, Mar. 1985.
17. J. Q. Li, Y. S. Fan, and M. C. Zhou, "Performance modeling and analysis of workflow," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no.2, pp. 229-242, Feb. 2004.
18. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 3 4, no. 1, pp. 38-51, Jan. 2004.
19. Z. W. Li, H. S. Hu, and A. R. Wang, "Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 37, no. 4, pp. 517-526, Jul. 2007.
20. C. P. Lin and M. D. Jeng, "An expanded SEMATECH CIM framework for heterogeneous applications integration," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 36, no. 1, pp. 76-90, Jan. 2006.
21. J. Padberg and M. Urbasek, "Rule-based refinement of Petri nets: A survey," in Petri Net Technology for Communication-Based Systems, vol. 2472. Berlin, Germany: Spring-Verlag, 2003, pp. 161-196.
22. S. M. Shatz, S. Tu, T. Murata, and S. Duri, "An application of Petri net reduction for Ada tasking deadlock analysis," IEEE Trans. Parallel Distrib. Syst., vol. 7, no. 12, pp. 1307-1322, Dec. 1996.
23. I. Suzuki and T. Murata, "A method for stepwise refinement and abstration of Petri nets," J. Comput. Syst. Sci., vol. 27, no. 1, pp. 51-76, Aug. 1983.
24. F. Tricas and J. Ezpeleta, "Computing minimal siphons in Petri net models of resource allocation systems: A parallel solution," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 36, no. 3, pp. 532-539, Mar. 2006.
25. R. Valette, "Analysis of Petri nets by stepwise refinements," J. Comput. Syst. Sci., vol. 18, pp. 35-46, 1979.
26. H. Q. Wang, C. J. Jiang, and S. Y. Liao, "Behaviour relations in synthesis process of Petri net models," IEEE Trans. Robot. Autom. vol. 16, no. 4, pp. 400-407, Apr. 2000.
27. J. Wang, Y. Deng, and M. C. Zhou, "Compositional time Petri nets and reduction rules," IEEE Trans. Syst., Man, Cybern., vol. 30, no. 4, pp. 562-572, Aug. 2000.
28. Y. Yaw, "Analysis and synthesis of communication protocols and distributed systems," Ph.D. dissertation, FEES, Univ. California, Berkeley, CA, 1987.
29. M. C. Zhou, K. McDermott, and P. A. Patel, "Petri net synthesis and analysis of a flexible manufacturing system cell," IEEE Trans. Syst., Man, Cybern., vol. 23, no. 2, pp. 523-531, Mar./Apr. 1993.
30. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Boston, MA: Kluwer, 1993.
31. M. C. Zhou, F. DiCesare, and A. A. Desrochers, "A hybrid methodology for synthesis of Petri nets for manufacturing systems," IEEE Trans. Robot. Autom., vol. 8, no. 3, pp. 350-361, 1992.
32. M. C. Zhou, F. DiCesare, and D. Rudolph, "Design and implementation of a Petri net based supervisor for a flexible manufacturing system," IFAC J. Autom., vol. 28, no. 6, pp. 1199-1208, 1992.
33. M. C. Zhou and F. DiCesare, "Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems with shared resources," IEEE Trans. Robot. Autom., vol. 7, no. 4, pp. 515-527, Aug. 1991.
34. M. C. Zhou and M. D. Jeng, "Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach," IEEE Trans. Semicond. Manuf., vol. 11, no. 3, pp. 333-357, 1998.
35. W. M. Zuberek, "Stepwise refinements of net models and their place invariants," in Proc. 8th Int. Workshop Petri Net Perform. Models, Zaragoza, Spain, 1999, pp. 92-101.
36. R. Zurawski, "Petri net models, functional abstractions, and reduction techniques: Applications to the design of automated manufacturing systems," IEEE Trans. Ind. Electron., vol. 52, no. 2, pp. 595-609, Feb. 2005.