Skip to main content
SpringerLink
Log in
Book cover

International Conference on Application and Theory of Petri Nets

ICATPN 1993: Application and Theory of Petri Nets 1993 pp 206–223Cite as

Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems

  • Full Papers
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 691))

Abstract

We present a Petri net based framework called G-Net for the modular design of complex information systems. The motivation of this framework is to integrate Petri net theory with a modular, objectoriented approach for the specification and prototyping of complex software systems. We use the client/server example to illustrate the G-Net specification of distributed systems, and how such a specification can be translated into a Predicate/Transition net for formal analysis. The differences between G-Net and hierarchical Petri net, as well as some limitations of the transformation technique, are then discussed.

The authors would like to acknowledge the financial support of CNPq/Brazil in the form of scholarship 201463/91-1 and 201462/91-5.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Booch. Object Oriented Design with Applications. The Benjamin/Cummings Publishing Company Inc., Redwood City, CA, 1991.

    Google Scholar 

  2. S.K. Chang, A. Perkusich, B. de Figueiredo, J.C.A. Yu, and M.J. Ehrenberger. The Design of Real-Time Distributed Information Systems with Object-Oriented and Fault-Tolerant Characteristics. To appear in Proc. of The Fifth International Conference on Software Engineering and Knowledge Engineering, June 1993.

    Google Scholar 

  3. T.C. Chen, Y. Deng, and S.K. Chang. A Simulator for Distributed Systems Using G-Nets. In Proc. of 1992 Pittsburgh Simulation Conference, Pittsburgh, PA, USA, May 1992.

    Google Scholar 

  4. Y. Deng. A Unified Framework for the Modeling, Prototyping and Design of Distributed Information Systems. PhD thesis, Department of Computer Science, University of Pittsburgh, 1992.

    Google Scholar 

  5. Y. Deng and S.K. Chang. A Framework for the Modeling and Prototyping of Distributed Information Systems. International Journal of Software Engineering and Knowledge Engineering, SEKE93, 2(3):203–226, September 1991.

    Google Scholar 

  6. Y. Deng and S.K. Chang. Unifying Multi-Paradigms in Software System Design. In Proc. of the 4th Int. Conf. on Software Engineering and Knowledge Engineering, Capri, Italy, June 1992.

    Google Scholar 

  7. R. Fairley. Software Engineering Concepts. MacGraw-Hill, New York, NJ, 1985.

    Google Scholar 

  8. A. Gabrielian and M.K. Franklin. Multilevel Specification of Real Time Systems. Com. of ACM, 34(5):50–60, May 1991.

    Google Scholar 

  9. H.J. Genrich. Predicate/Transition Nets. In W. Brauer, W. Reisig, and G. Rozemberg, editors, Lecture Notes in Computer Science, Petri Nets: Central Models and Their Properties, volume 254, pages 207–247. Springer Verlag, 1987.

    Google Scholar 

  10. H.J. Genrich and K. Lautenbach. System Modeling with High Level-Petri Nets. Theorical Computer Science, 13:109–136, 1981.

    Google Scholar 

  11. P. Huber, K. Jensen, and R.M. Shapiro. Hierarchies in Coloured Petri Nets. In Jensen. K. and Rozenberg, G., editor, High-Level Petri Nets: Theory and Application, pages 313–341. Springer-Verlag, 1991.

    Google Scholar 

  12. K. Jensen. Coloured Petri Nets: A High Level Language for System Design and Analysis. In Lecture Notes in Computer Science 483, Advances in Petri Nets 1990. Springer-Verlag, 1990.

    Google Scholar 

  13. Luqi. Software Evolution Through Rapid Prototyping. IEEE Transactions on Computers, pages 13–25, May 1989.

    Google Scholar 

  14. T. Murata. Petri Nets: Properties, Analysis and Applications. Proc. of the IEEE, 77(4):541–580, April 1989.

    Google Scholar 

  15. H. Oswald, R. Esser, and R. Mattmann. An Environment for Specifying and Executing Hierarchical Petri Nets. In Proc. of the 12th International Conference on Software Engineering, pages 164–172, 1990.

    Google Scholar 

  16. A. Perkusich, J.C.A. de Figueiredo, and S.K Chang. Embedding Fault-Tolerant Properties in the Design of Complex Systems. To appear in Journal of Systems and Software, May 1993.

    Google Scholar 

  17. W. Reisig. Petri Nets. Springer-Verlag, 1985.

    Google Scholar 

  18. W Reisig. Petri Nets with Individual Tokens. Theoritical Computer Science, 41:185–213, 1985.

    Google Scholar 

  19. P Zave. An Insider's Evaluation of PAISLey. IEEE Transactions on Software Engineering, 17(3):212–225, March 1991.

    Google Scholar 

  20. T. Znati, Y. Deng, B. Field, and S.K. Chang. Multi-Level Specification and Protocol Design for Distributed Multimedia Communication. In Proc. of Conference on Organizational Computing Systems, pages 255–268, Atlanta, GA, USA, November 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, Florida International University, 33199, Miami, FL, USA

    Yi Deng

  2. Department of Computer Science, University of Pittsburgh, 15260, Pittsburgh, PA, USA

    S. K. Chang, Jorge C. A. de Figueired & Angelo Perkusich

  3. Departamento de Engenharia Elétrica, Universidade Federal da Paraíba, 58100, Campina Grande, PB, Brazil

    Jorge C. A. de Figueired & Angelo Perkusich

Authors
  1. Yi Deng
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. S. K. Chang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jorge C. A. de Figueired
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Angelo Perkusich
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Marco Ajmone Marsan

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Deng, Y., Chang, S.K., de Figueired, J.C.A., Perkusich, A. (1993). Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems. In: Ajmone Marsan, M. (eds) Application and Theory of Petri Nets 1993. ICATPN 1993. Lecture Notes in Computer Science, vol 691. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56863-8_48

Download citation

  • DOI: https://doi.org/10.1007/3-540-56863-8_48

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56863-6

  • Online ISBN: 978-3-540-47759-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation