Modelling and analysis of distributed program execution in BETA using coloured Petri Nets-Reference-Cited by-同舟云学术

Modelling and analysis of distributed program execution in BETA using coloured Petri Nets

Published:1996 Issue: Volume: Page:249-268
ISSN:0302-9743
Container-title:Application and Theory of Petri Nets 1996
language:
Short-container-title:

Author:

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

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61363-3_14.pdf

Reference19 articles.

1. Lecture Notes in Computer Science;S. Brandt,1993

2. S. Brandt. Implementing Shared and Persistent Objects in BETA. Technical report, Computer Science Department, University of Aarhus, 1994.

3. 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. 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. S. Christensen, K. Jensen, and L. Kristensen. The Design/CPN Occurrence Graph Tool. User's manual version 3.0. Computer Science Department, University of Aarhus, 1996. Online: http: //www.daimi.aau.dk/designCPN/.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Using Coloured Petri Nets for Resource Analysis of Active Objects;Formal Aspects of Component Software;2018

2. Modeling TCG-Based Secure Systems with Colored Petri Nets;Trusted Systems;2011

3. A Coloured Petri Net Approach to Protocol Verification;Lectures on Concurrency and Petri Nets;2004

4. Colored petri nets based modeling and simulation of the static and dynamic allocation policies of the asynchronous bandwidth in the fieldbus protocol;Application of Petri Nets to Communication Networks;1999

5. A new approach in feature interaction testing;Integration;1998-12