Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System

Kjeld Høyer Mortensen. Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System. In Mogens Nielsen, Dan Simpson, editors, Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding. Volume 1825 of Lecture Notes in Computer Science, pages 367-386, Springer, 2000. [doi]

Abstract

Abstract is missing.