Requirements Engineering for Reactive Systems with Coloured Petri Nets: the Gas Pump Controller Example (2007)

by J M Fernandes, S Tjell, J B Jorgensen
Venue:Proceedings of the Eight Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools