Refinement of Coloured Petri Nets

Authors:
Eike Best;Thomas Thielke
Affiliations:
-;-
Venue:
FCT '97 Proceedings of the 11th International Symposium on Fundamentals of Computation Theory
Year:
1997

Citing 0
Cited 4

Weak and Strong Composition of High-Level Petri-Nets

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
General parameterised refinement and recursion for the M-net calculus

Theoretical Computer Science
Testing and Debugging Message Passing Programs in Synergy with their Specifications

Fundamenta Informaticae
Generalised Composition Operations for High-level Petri Nets

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract