Analysing Coloured Petri Nets by the Occurrence Graph Method

by Jens Bæk Jørgensen , Jens Baek J��rgensen
Citations:1 - 0 self