An approach to object system modeling by state-based object Petri nets

Journal of Circuits, Systems and Computers

Volumn 8, Issue 1, 1998, Pages 1-20

  Newman, A ^a   Shatz, S M ^a   Xie, X ^a  

^a University of Illinois at Chicago   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001053482     PISSN: 02181266     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218126698000031     Document Type: Article

References (14)

1. T. Murata, "Petri nets: properties, analysis, and applications", Proc. IEEE (1989) 541-580.
2. 20 states and beyond", Informatics Comp. 98, 2 (1992) 142-170.
3. G. Voss, Object-Oriented Programming: An Introduction, Osborne McGraw-Hill, 1991.
4. R. Bastide, "Approaches in unifying Petri nets and the object-oriented approach", Proc. 1st Workshop on Object-Oriented Programming and Models of Concurrency, June 1995.
5. D. Buchs and N. Guelfi, "CO-OPN: A concurrent object-oriented Petri net approach", Proc. 12th Int. Conf. Application and Theory of Petri Nets, Denmark, in Lecture Notes in Computer Science, Springer-Verlag, 1991.
6. M. Baldassari and G. Bruno, "PROTOB: an object-oriented methodology for developing discrete event dynamic systems", Computer Languages 16, 1 (1991) 39-63.
7. K. M. van Hee and P. A. C. Verkoulen, "Integration of a data model and high-level Petri nets", Proc. 12th Int. Conf. Application and Theory of Petri Nets, Denmark, in Lecture Notes in Computer Science, Springer-Verlag, 1991.
8. C. A. Lakos, "Pragmatic inheritance issues for object Petri nets", Proc. TOOLS Pacific '95 Conference (The 18th Technology of Object-Oriented Languages and Systems Conference), C. Mingins, R. Duke, and B. Meyer (eds.), Prentice-Hall, 1995, pp. 309-322.
9. K. Jensen, "Coloured Petri nets: a high level language for system design and analysis", Advances in Petri Nets 1990, G. Rozenberg (ed.), in Lecture Notes in Computer Science, Vol. 483, Springer-Verlag, 1990.
10. J. L. Peterson, "A note on colored Petri nets", Information Processing Letters 11, 1 (1980) 40-43.
11. K. Jensen, "An introduction to the theoretical aspects of colored Petri nets", Lecture Notes in Computer Science : A Decade of Concurrency, Vol. 803, June 1993, pp. 230-272.
12. A. Valmari, "Stubborn sets for coloured Petri nets", Proc. 12th Int. Conf. on Application and Theory of Petri Nets, Denmark, in Lecture Notes in Computer Science, Springer-Verlag, 1991.
13. S. Duri, U. Buy, R. Devarapalli, and S. M. Shatz, "Applications and experimental evaluation of state space reduction methods for deadlock analysis in Ada", ACM Trans. Software Engineering Methodology 3, 4 (1994) 340-380.
14. A. Burns and A. Wellings, Concurrency in Ada, Cambridge Univ. Press, 1995.