G-Nets: A Petri net based approach for logical and timing analysis of complex software systems

Journal of Systems and Software

Volumn 39, Issue 1, 1997, Pages 39-59

  Perkusich, Angelo ^a   De Figueiredo, Jorge C A ^a  

^a FEDERAL UNIVERSITY OF PARAÍBA   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; FORMAL LOGIC; LARGE SCALE SYSTEMS; PETRI NETS;

COMPLEX SOFTWARE SYSTEMS; TIMING ANALYSIS;

SOFTWARE ENGINEERING;

EID: 0031258923     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(96)00162-8     Document Type: Article

References (22)

1. Broy, M., and Streicher, T., Modular functional modelling of petri nets with individual tokens, in Advances in Petri Nets 1992, (G. Rozenberg, editor), Lecture Notes in Computer Science, vol. 609, Springer-Verlag, 1992, pp. 70-88.
2. Chen, T. C., Deng, Y., and Chang, S. K., A simulator for distributed systems using g-nets, in Proceedings of 1992 Pittsburgh Simulation Conference, 1992.
3. Dasarathy, B., Timing constraints of real-time systems: Constructs for expressing them, methods of validating them. IEEE Transactions on Software Engineering 11(1), 80-86 (1985).
4. de Figueiredo, J. C. A., and Perkusich, A., Fault tolerance in real-time distributed systems using petri nets extension, in Proc. of 7th International Conference on Computing and Information, ICCI'95, 1995, pp. 924-946.
5. de Figueiredo, J. C. A., Perkusich, A., and Chang, S. K., Timing analysis of real-time software systems using fuzzy time petri nets, in Proc. of The Sixth International Conference on Software Engineering and Knowledge Engineering, 1994, pp. 243-253.
6. de Figueiredo, J. C. A., Perkusich, A., and Chang, S. K., Anticipated faults in real-time distributed systems, in Proc. of The Seventh International Conference on Software Engineering and Knowledge Engineering, SEKE'95, 1995, pp. 411-418.
7. Deng, Y., Chang, S. K., de Figueiredo, J. C. A., and Perkusich, A., Integrating software engineering methods and petri nets for the specification and prototyping of complex software systems, in Application and Theory of Petri Nets 1993 (M. Ajmone Marsan, editor), Lecture Notes on Computer Science, vol. 691, Springer-Verlag, 1993, pp. 206-223.
8. Dubois, D., and Prade, H., Processing fuzzy temporal knowledge. IEEE Transactions on Systems, Man, and Cybernetics, 19(4), 729-744 (1989).
9. Emerson, E. A. and Srinivasan, J., Branching time temporal logic, in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (J. W. Bakkar, W.-P. de Roever, and G. Rozenberg, editors), Lecture Notes in Computer Science, vol. 354, Springer-Verlag, 1988.
10. Ghezzi, C., Mandrioli, D., Morasca, S., and Pezze, M., A general way to put time in petri net, in 5th International Workshop on Software Specifications and Design, 1989, pp. 60-66.
11. Manna, Z., and Pnueli, A., The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, New York, NY, 1992.
12. Ajmone Marsan, M., Balbo, D., and Conte, G., A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems 2(2), 93-122 (1984).
13. Merlin, P. M., and Farber, D. J., Recoverability of communication protocols - implications of a theoretical study. IEEE Transactions on Communication, COMM-24(9), 1036-1043 (1976).
14. Molloy, M. K., On the Integration of Delay and Throughput Measures in Distributed Processing Models, PhD thesis, UCLA, 1981.
15. Murata, T., Petri nets: Properties, analysis and applications. Proc. of the IEEE, 77(4), 541-580 (1989).
16. Perkusich, A., and de Figueiredo, J. C. A., Object oriented design of a track-vehicle system, in Proc. of The Seventh International Conference on Software Engineering and Knowledge Engineering, SEKE'95, 1995.
17. Perkusich, A., de Figueiredo, J. C. A., and Chang, S. K., Embedding fault-tolerant properties in the design of complex systems. Journal of Systems and Software, 2(25), 23-37 (1994).
18. Perkusich, M. L. B., Perkusich, A., and Schiel, U., Integrated design of object-oriented real-time control and database systems, in Proc. of the Seventh International Conference on Software Engineering and Knowledge Engineering, SEKE'95, 1995.
19. Pnueli, A., In transition from global to modular temporal reasoning about programs, in Logics and Models of Concurrent Systems (K. R. Apt. editor), NATO ASI series, Series F, Computer and Systems Sciences, vol. 13, Springer-Verlag, 1984.
20. Ramchandani, C., Analysis of asychronous concurrent systems by petri nets, Technical Report Project MACTR120, M.I.T., Cambridge, MA, 1974.
21. Shatz, S. M., Development of Distributed Software, Macmillan Publishing Company, New York, 1993.
22. van der Aalst, W. M. P., Interval timed coloured petri nets and their analysis, in Application and Theory of Petri Nets 1993 (M. Ajmone Marsan, editor), Lecture Notes in Computer Science, vol. 691, Springer-Verlag, 1993, pp. 453-472.