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

  • Yi Deng
  • S. K. Chang
  • Jorge C. A. de Figueired
  • Angelo Perkusich
Full Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 691)


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.


Status Color Output Place Distribute Information System Token Passing Goal Place 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    G. Booch. Object Oriented Design with Applications. The Benjamin/Cummings Publishing Company Inc., Redwood City, CA, 1991.Google Scholar
  2. 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. 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. 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. 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. 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. 7.
    R. Fairley. Software Engineering Concepts. MacGraw-Hill, New York, NJ, 1985.Google Scholar
  8. 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. 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. 10.
    H.J. Genrich and K. Lautenbach. System Modeling with High Level-Petri Nets. Theorical Computer Science, 13:109–136, 1981.Google Scholar
  11. 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. 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. 13.
    Luqi. Software Evolution Through Rapid Prototyping. IEEE Transactions on Computers, pages 13–25, May 1989.Google Scholar
  14. 14.
    T. Murata. Petri Nets: Properties, Analysis and Applications. Proc. of the IEEE, 77(4):541–580, April 1989.Google Scholar
  15. 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. 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. 17.
    W. Reisig. Petri Nets. Springer-Verlag, 1985.Google Scholar
  18. 18.
    W Reisig. Petri Nets with Individual Tokens. Theoritical Computer Science, 41:185–213, 1985.Google Scholar
  19. 19.
    P Zave. An Insider's Evaluation of PAISLey. IEEE Transactions on Software Engineering, 17(3):212–225, March 1991.Google Scholar
  20. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Yi Deng
    • 1
  • S. K. Chang
    • 2
  • Jorge C. A. de Figueired
    • 2
    • 3
  • Angelo Perkusich
    • 2
    • 3
  1. 1.School of Computer ScienceFlorida International UniversityMiamiUSA
  2. 2.Department of Computer ScienceUniversity of PittsburghPittsburghUSA
  3. 3.Departamento de Engenharia ElétricaUniversidade Federal da ParaíbaCampina Grande, PBBrazil

Personalised recommendations