Petri nets based proofs of Ada 95 solution for preference control | IEEE Conference Publication | IEEE Xplore