Structuring and composability issues in petri nets modeling

IEEE Transactions on Industrial Informatics

Volumn 1, Issue 2, 2005, Pages 112-123

  Gomes, Luis ^a   Barros, João Paulo ^a,b  

^a UNINOVA   (Portugal)

^b INSTITUTO POLITÉCNICO DE BEJA   (Portugal)

Author keywords

Hierarchies; Model abstraction; Model composition; Model refinement; Objects; Petri nets; Structuring mechanisms

Indexed keywords

CLASSIFICATION (OF INFORMATION); COMPUTER PROGRAMMING LANGUAGES; CONTROL SYSTEMS; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING;

MODEL ABSTRACTION; MODEL COMPOSITION; MODEL REFINEMENT; OBJECTS; STRUCTURING MECHANISMS;

PETRI NETS;

EID: 20444368009     PISSN: 15513203     EISSN: None     Source Type: Journal    
DOI: 10.1109/TII.2005.844433     Document Type: Article

References (59)

1. G. Agha, F. de Cindio, and G. Rozenberg, Eds., Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets. New York: Springer, 2001, vol. 2001, Lecture Notes in Computer Science.
2. J. P. Barros and L. Gomes, "Modifying Petri net models by means of crosscutting operations," in Proc. 3rd Int. Conf. Application of Concurrency to System Design, Jun. 2003, pp. 177-186.
3. _, "Net model composition and modication by net operations: a pragmatic approach," in Proc. 2nd IEEE Int. Conf. Industrial Informatics (INDIN'04), Berlin, Germany, Jun. 2004.
4. _, "On the use of colored Petri nets for object-oriented design," in Applications and Theory of Petri Nets 2004 25th Int. Conf., ICATPN 2004, vol. 3099, Proceedings Series: Lecture Notes in Computer Science, J. Cortadella and W. Reisig, Eds., Bologna, Italy, Jun. 2004, pp. 117-136.
5. E. Battiston, F. de Cindio, and G. Mauri, "OBJSA nets: a class of high-level nets having objects as domains," in Advances in Petri Nets 1988, 1988, Lecture Notes in Computer Science, vol. 340, pp. 20-43.
6. L. Bernardinello and F. De Cindio, A survey of basic net models and modular net classes, in Lecture Notes in Computer Science; Advances in Petri Nets 1992, vol. 609, pp. 304-351, 1992.
7. E. Best, R. Devillers, and M. Koutny, Petri Net Algebra. New York: Springer, Monographs in Theoretical Computer Science. An EATCS Series, 2001.
8. W. Brauer, R. Gold, and W. Vogler, A survey of behavior and equivalence preserving refinements of Petri nets, in Advances in Petri Nets 1990, vol. 483, pp. 1-46, 1991, Lecture Notes in Computer Science.
9. P. Buchholz, Hierarchical high level Petri nets for complex system analysis, in Application and Theory of Petri Nets 1994, Proc. 15th Int. Conf., R. Valette, Ed., Zaragoza, Spain, vol. 815, pp. 119-138, 1994, Lecture Notes in Computer Science.
10. C. A. Petri, "Kommunikation mit Automaten," Ph.D. dissertation, Univ. Bonn, Bonn, Germany, 1962.
11. Y. Chen, W. T. Tsai, and D. Chao, "Dependency analysis-a Petri-net-based technique for synthesizing large concurrent systems," IEEE Trans. Parallel Distrib. Syst., vol. 4, no. 4, pp. 414-426, Apr. 1993.
12. S. Christensen and N. D. Hansen, "Coloured Petri Nets extended with channels for synchronous communication," in Lecture Notes in Computer Science; Application and Theory of Petri Nets, Proceedings of the 15th International Conference, R. Valette, Ed. Zaragoza, Spain: Springer-Verlag, 1994, vol. 815, pp. 159-178.
13. S. Christensen and L. Petrucci, "Modular state space analysis of colored Petri nets," in Proc. 16th Int. Conf. Application and Theory of Petri Nets, Turin, Italy, Jun. 1995, [Online] Available at: http://www.daimi. aau.dk/CPnets/publ/full-papers/ChrPet1995.pdf, pp. 201-217.
14. _, "Modular analysis of Petri nets," Comput. J., vol. 43, no. 3, pp. 224-242, 2000.
15. (2004) CPN Tools. [Online] Available at: http://wiki.daimi.au.dk/cpn- tools
16. R. David and H. Alla, Petri Nets & Grafcet; Tools for Modeling Discrete Event Systems. Hempstead, U.K.: Prentice-Hall International, 1992.
17. R. David, "Modeling of dynamic systems by Petri nets," in Proc. Eur. Control Conf., Grenoble, France, Jul. 1991, pp. 136-147.
18. (2004) Design/CPN. [Online] Available at: http://www.daimi.au.dk/ designCPN/
19. E. Y. T. Juan, J. J. P. Tsai, and T. Murata, "A new compositional method for condensed state-space verification," in Proc. 1st IEEE High-Assurance Systems Engineering Workshop, Ontario, Canada, Oct. 22, 1996, pp. 104-111.
20. H. Ehrig, G. Juhás, J. Padberg, and G. Rozenberg, Eds., Unifying Petri Nets, Advances in Petri Nets. Berlin, Germany: Springer, 2001, vol. 2128, Lecture Notes in Computer Science.
21. H. Ehrig and J. Padberg, "Graph grammars and Petri net transformations.," in Lectures on Concurrency and Petri Nets, J. Desel, W. Reisig, and G. Rozenberg, Eds. Berlin/Heidelberg, Germany: Springer-Verlag, 2004, vol. 3098, Lecture Notes in Computer Science: Advances in Petri Nets, pp. 496-536.
22. 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, 1998.
23. R. Fehling, "A concept of hierarchical Petri nets with building blocks," in Proc. 12th Int. Conf. Application and Theory of Petri Nets, 1991, Gjern, Denmark, Jun. 1991, pp. 370-389.
24. H. J. Genrich, "Predicate/transition nets," in Lecture Notes in Computer Science: Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, W. Brauer, W. Reisig, and G. Rozenberg, Eds., 1987, vol. 254, pp. 207-247.
25. C. Girault and R. Valk, Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications, 2003.
26. L. Gomes and J. P. Barros, "On structuring mechanisms for Petri nets based system design," in Proc. 2003 IEEE Conf. Emerging Technologies and Factory Automation (ETFA 2003), Sep. 2003, pp. 431-438.
27. L. Gomes, J. P. Barros, and A. Costa, "Petri net model node structuring techniques for embedded system design," in Proc. 5th Portuguese Conf. Automatic Control (CONTROLO'2002), Aveiro, Portugal, Sep. 2002.
28. _, "Structuring mechanisms in Petri net models: from specification to FPGA based implementations," in Design of Embedded Control Systems, M. Adamski, A. Karatkevich, and M. Wegrzyn, Eds. Berlin, Germany: Springer, 2004.
29. D. Gries, The Science of Programming. Berlin, Germany: Springer-Verlag, 1981.
30. X. He, "A formal definition of hierarchical predicate transition nets," in Lecture Notes in Computer Science; Proc. 17th Int. Conf. Application and Theory of Petri Nets (ICATPN'96), vol. 1091, Osaka, Japan, Jun. 1996, pp. 212-229.
31. X. He and J. A. N. Lee, "A methodology for constructing predicate transition net specifications," Software-Practice Exper., vol. 21, no. 8, pp. 845-875, Aug 1991.
32. P. Huber, K. Jensen, and R. M. Shapiro, "Hierarchies in colored Petri nets," in Proc. 10th Int. Conf. Application and Theory of Petri Nets, 1989, Bonn, Germany, 1989, pp. 192-209.
33. K. Jensen, Colored Petri Nets. Basic Concepts, Analysis Methods and Practical Use-Volumes 1-3. Berlin, Germany: Springer-Verlag, 1992-1997.
34. _, "Condensed state spaces for symmetrical colored Petri nets," Formal Meth. Syst. Design, vol. 9, pp. 7-40, 1996.
35. K. Jensen and G. Rozenberg, High-level Petri Nets: Theory and Application. Berlin, Germany: Springer-Verlag, 1991.
36. G. Juhs and J. Desel, What is a Petri Net, pp. 1-25.
37. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin, "Aspect-oriented programming," in Proc. 11th European Conf. Object-Oriented Programming, vol. 1241, LNCS, M. Akşit and S. Matsuoka, Eds., Berlin/Heidelberg/New York, 1997, pp. 220-242.
38. O. Kummer, Referenznetze. Berlin, Germany: Logos Verlag, 2002.
39. O. Kummer, F. Wienberg, M. Duvigneau, J. Schumacher, M. Köhler, D. Moldt, H. Rölke, and R. Valk, "An extensible editor and simulation engine for Petri nets: RENEW," in Applications and Theory of Petri Nets 2004 25th Int. Conf., vol. 3099, Proceedings Series: Lecture Notes in Computer Science, J. Cortadella and W. Reisig, Eds., Bologna, Italy, Jun. 2004, pp. 484-493.
40. C. Lakos, "Composing abstractions of colored Petri nets," in Lecture Notes in Computer Science: 21st Int. Conf. Application and Theory of Petri Nets (ICATPN 2000), vol. 1825, M. Nielsen and D. Simpson, Eds., Aarhus, Denmark, Jun. 2000, pp. 323-345.
41. _, "Object oriented modeling with object Petri nets," in Concurrent Object-Oriented Programming and Petri Nets, G. A. Agha, F. De Cindio, and G. Rozenberg, Eds. Berlin/Heidelberg, Germany: Springer-Verlag, 2001, vol. 2001, Lecture Notes in Computer Science: Advances in Petri Nets, pp. 1-37.
42. _, "On the abstraction of colored Petri nets," in Lecture Notes in Computer Science: 18th Int. Conf. Application and Theory of Petri Nets, vol. 1248, P. Azéma and G. Balbo, Eds., Toulouse, France, Jun 1997, pp. 42-61.
43. M. Mäkelä. (2004) Maria the Modular Reachability Analyzer. [Online] Available: http://www.tcs.hut.fi/Software/maria/
44. T. Murata, "Petri nets: properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
45. M. Notomi and T. Murata, "Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis," IEEE Trans. Softw. Eng., vol. 20, no. 4, pp. 325-336, 1994.
46. J. Padberg, "Petri net modules," Trans. SDPS, vol. 6, no. 3, pp. 121-196, Sep. 2002.
47. J. L. Peterson, "Petri nets," ACM Comput. Surv., vol. 9, no. 3, pp. 223-252, 1977.
48. Petri Nets. (2004) Tool Database. [Online] Available: http://www.daimi.au.dk/PetriNets/tools/db.html
49. W. Reisig, "Petri nets with individual tokens," in Informatik-Fachberichte 66: Application and Theory of Petri Nets-Selected Papers from the 3rd European Workshop on Application and Theory of Petri Nets, A. Pagnoni and G. Rozenberg, Eds., Varanna, Italy, Sep. 1982, pp. 229-249.
50. _, Petri Nets: An Introduction. New York: Springer-Verlag, 1985.
51. _, A Primer in Petri Net Design. New York: Springer-Verlag, 1992.
52. W. Reisig and G. Rozenberg, Eds., Lectures on Petri Nets I: Basic Models.. Berlin, Germany: Springer-Verlag, 1998, vol. 1491, Lecture Notes in Computer Science; Advances in Petri Nets.
53. W. Reisig and G. Rozenberg, Eds., Lectures on Petri Nets II: Applications., Germany: Springer-Verlag, 1998, vol. 1492, Lecture Notes in Computer Science; Advances in Petri Nets.
54. M. Silva, Las Redes de Petri: en la Automática y la Informdtica. Madrid, Spain: Editorial AC, 1985.
55. P. Tarr, H. Ossher, W. Harrison, and S. M. Sutton Jr., "N degrees of separation: multi-dimensional separation of concerns," in Proc. 21st Int. Conf. Software Engineering, 1999, pp. 107-119.
56. R. Valk, "Object Petri nets," in Lectures on Concurrency and Petri Nets, J. Desel, W. Reisig, and G. Rozenberg, Eds. Berlin/Heidelberg: Springer-Verlag, 2004, vol. 3098, Lecture Notes in Computer Science: Advances in Petri Nets, pp. 819-848.
57. A. Valmari, "Compositional analysis with place-bordered subnets," in Proc. 15th Int. Conf., vol. 815, Lecture Notes in Computer Science; Application and Theory of Petri Nets, R. Valette, Ed., Zaragoza, Spain, 1994, pp. 531-547.
58. (2004) RENEW The Reference Net Workshop. [Online] Available: http://www.renew.de/
59. R. Zurawski and M. Zhou, "Petri nets and industrial applications - a tutorial," IEEE Trans. Ind. Electron., vol. 41, no. 6, pp. 567-583, Dec. 1994.