Design patterns in Petri net system modeling

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 1998, Pages 47-54

  Naedele, M ^a   Janneck, J W ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

BUILDING BLOCKES; COMMUNITY IS; DESIGN EXPERIENCE; DESIGN KNOWLEDGE; DESIGN PATTERNS; ENGINEERING COMMUNITY; PETRI NET SYSTEMS; SYSTEM MODELING AND SIMULATION; SYSTEM MODELS;

PETRI NETS;

EID: 84936762802     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.1998.706655     Document Type: Conference Paper

References (25)

1. C. Alexander, S. Ishikawa, M. Silverstein, M. Jacobson, I. Fiksdahl-King, and S. Angel. A Pattern Language. Oxford University Press, 1977.
2. H. Balzert. Lehrbuch der Software-Technik, volume 1. Spektrum Akademischer Verlag, 1996.
3. B. Baumgarten. Petri-Netze, Grundlagen und Anwendungen. Spektrum Akademischer Verlag, 1996.
4. B. Baumgarten, H. J. Burkhardt, P. Ochsenschläger, and R. Prinoth. The signing of a contract-A tree-structured application modelled with petri net building blocks. In G. Goos and J. Hartmanis, editors, Advances in Petri Nets 1985, number 222 in Lecture Notes in Computer Science. Springer, 1985.
5. B. Baumgarten, P. Ochsenschläger, and R. Prinoth. Protocol Specification, Testing, and Verification, chapter Building Blocks for Distributed System Design, pages 19-38. Elsevier Science Publishers B.V. (North-Holland), 1986.
6. D. Buchs and N. Guelfi. CO-OPN: A concurrent objectoriented Petri net approach. In Proceedings of the 12th International Conference on the Application and Theory of Petri Nets, 1991.
7. H. J. Burkhardt, P. Ochsenschläger, and R. Prinoth. Product nets, a formal description technique for cooperating systems. GMD-Studien 165, GMD, Gesellschaft für Mathematik und Datenverarbeitung mbH, 1989.
8. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. Pattern-Oriented Software Architecture-A System of Patterns. Wiley and Sons, 1996.
9. A. Caloini, G. A. Magnani, and M. Pezze. Software design of robot controllers with petri nets: A case-study. In Proceedings of the 1996 IEEE International Conference on Systems, Man and Cybernetics, 1996.
10. J. O. Coplien and D. C. Schmidt, editors. Pattern Languages of Program Design. Addison-Wesley, 1995.
11. R. Esser. An Object Oriented Petri Net Approach to Embedded System Design. PhD thesis, ETH Zurich, 1996.
12. H. Fuss. P-T-Netze zur numerischen Simulation von asynchronen Flüssen. In J. H. G. Goos, editor, GI-4. Jahrestagung, Berlin Oktober 1974, number 26 in Lecture Notes in Computer Science, pages 326-335. GI, Gesellschaft für Informatik, Springer-Verlag, 1975.
13. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns, Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
14. R. G. Herrtwich and G. Hommel. Nebenläufige Programme. Springer Verlag, 1994.
15. J. W. Janneck and M. Naedele. Modeling a die bonder with petri nets: A case study. IEEE Transactions on Semiconductor Manufacturing, Aug. 1998.
16. K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, volume 1: Basic Concepts, of EATCS Monographs in Computer Science. Springer-Verlag, 1992.
17. C. A. Lakos. Object Petri nets-definition and relationship to coloured nets. Technical Report TR94-3, Computer Science Department, University of Tasmania, 1994.
18. T. Murata. Petri nets: Properties, analysis, and applications. Proceedings of the IEEE, 77(4):541-580, Apr. 1989.
19. J. L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice Hall, 1981.
20. W. Reisig. Petri Nets, An Introduction. Springer-Verlag, 1985.
21. W. Reisig. A Primer in Petri Net Design. Springer-Verlag, 1992.
22. R. Valk. Self-modifying nets, a nautural extension of petri nets. In J. H. G. Goos, editor, Automata, Languages and Programming, Fifth Colloquium, Undine, July 17-21, 1978, number 62 in Lecture Notes in Computer Science, pages 464-476. Springer-Verlag, 1978.
23. R. Valk. On processes of object Petri nets. Technical Report 185, Fachbereich Informatik, Universität Hamburg, 1996.
24. J. M. Vlissides, J. O. Coplien, and N. L. Kerth, editors. Pattern Languages of Program Design 2. Addison-Wesley, 1996.
25. R. Zurawski and M.-C. Zhou. Petri nets and industrial applications: A tutorial. IEEE Transactions on Industrial Electronics, 41(6):567-583, Dec. 1994.