Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems

Simon Tjell. Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems. In IEEE Second International Symposium on Industrial Embedded Systems - SIES 2007, Hotel Costa da Caparica, Lisbon, Portugal, 4-6 July 2007. pages 242-249, IEEE, 2007. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.