Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets

Authors:
Jens Bæk Jørgensen;Kjeld Høyer Mortensen
Affiliations:
-;-
Venue:
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Year:
1996

Citing 0
Cited 2

An Example Of Risk Assessment Of Software Systems Specifications

ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Modeling TCG-Based secure systems with colored petri nets

INTRUST'10 Proceedings of the Second international conference on Trusted Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract