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

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