Modelling and analysis of distributed program execution in beta using coloured petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1091, Issue , 1996, Pages 249-268

  Jørgensen, Jens Bæk ^a   Mortensen, Kjeld Høyer ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

Application of nets to protocols,; Case studies; Computer tools for nets; Experience with using nets; Higher level net models; System design and verification using nets

Indexed keywords

PETRI NETS;

CASE-STUDIES; COMPUTER TOOLS FOR NETS; EXPERIENCE WITH USING NETS; HIGHER-LEVEL NET MODELS; SYSTEM DESIGN AND VERIFICATION USING NETS;

OBJECT ORIENTED PROGRAMMING;

EID: 84957644037     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61363-3_14     Document Type: Conference Paper

References (19)

1. [BM93] S. Brandt and O. L. Madsen. Object-Oriented Distributed Programming in BETA. In R. Guerraoui, O.M. Nierstrasz, and M. Riveill, editors, Object-Based, Distributed Programming, Lecture Notes in Computer Science, Kaiserslautern, Germany, 1993. Springer-Verlag.
2. [Bra94] S. Brandt. Implementing Shared and Persistent Objects in BETA. Technical report, Computer Science Department, University of Aarhus, 1994.
3. [BWW91] J. Billington, G. R. Wheeler, and M. C. Wilbur-Ham. PROTEAN - A High-level Petri Net Tool for the Specification and Verification of Communication Protocols. In K. Jensen and G. Rozenberg, editors, High-level Petri Nets, Theory and Application. Springer-Verlag, 1991.
4. [CJ91] S. Christensen and L. O. Jepsen. Modelling and Simulation of a Network Management System using Hierarchical Coloured Petri Nets. In E. Mosekilde, editor, Proceedings of the 1991 European Simulation Multiconference, Copenhagen, Denmark, 1991. Springer-Verlag.
5. [CJK96] S. Christensen, K. Jensen, and L. Kristensen. The Design/CPN Occurrence Graph Tool. User's manual version 3.0. Computer Science Depart ment, University of Aarhus, 1996. Online: http: //www. daimi. aau. dk/designCPN/.
6. [GCH91] C. Girault, C. Chatelain, and S. Haddad. Specification and Properties of a Cache Coherence Protocol Model. In K. Jensen and G. Rozenberg, editors, High-level Petri Nets, Theory and Application. Springer-Verlag, 1991.
7. [GHW94] H. J. Genrich, H.-M. Hanisch, and K. Wöllhaf. Verification of Recipe-based Control Procedures by Means of Predicate/Transition Nets. In R. Valette, editor, Proceedings of the 15th International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science, Zaragoza, Spain, 1994. Springer Verlag.
8. [Gib85] A. Gibbons. Algorithmic Graph Theory. Cambridge University Press, 1985.
9. [GS92] H. J. Genrich and R. M. Shapiro. Formal Verification of an Arbiter Cascade. In K. Jensen, editor, Proceedings of the 13th International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science, Sheffield, UK, 1992. Springer Verlag.
10. [Had91] S. Haddad. A Reduction Theory for Coloured Nets. In K. Jensen and G. Rozenberg, editors, High-level Petri Nets, Theory and Application. Springer-Verlag, 1991.
11. [JCHH96] K. Jensen, S. Christensen, P. Huber, and M. Holla. Design/CPN. A reference manual. Computer Science Department, University of Aarhus, 1996. Online: http: //www.daimi.aau.dk/designCPN/.
12. [Jen92] K. Jensen. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1992.
13. [Jen94] K. Jensen. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. Volume 2, Analysis Methods. Monographs in Theoretical Computer Science. Springer-Verlag, 1994.
14. [JM95] J.B. Jørgensen and K.H. Mortensen. Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets. Technical report, Computer Science Department, University of Aarhus, 1995.
15. [MMPN93] O. L. Madsen, B. Møller-Pedersen, and K. Nygaard. Object-Oriented Programming in the BETA Programming Language. Addison Wesley, 1993.
16. [MV92] W. M. McLendon, Jr. and R. F. Vidale. Analysis of an Ada System Using Coloured Petri nets and Occurrence Graphs. In K. Jensen, editor, Proceedings of the ISth International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science, Sheffield, UK, 1992. Springer Verlag.
17. [Tan92] A. S. Tanenbaum. Modem Operating Systems. Prentice-Hall International, 1992.
18. [Tok93] J. Toksvig. Tool Support for Place Flow Analysis of Hierarchical CP-nets Version 2.0. Technical report, Computer Science Department, University of Aarhus, 1993.
19. [U1193] J. D. Ullman. Elements of ML Programming. Prentice-Hall, 1993.