Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller.

Joo M. Fernandes, Jens Bk Jrgensen, Simon Tjell

Browse the full APSEC paper archive.