A CP-net Approach To Control Logic Engineering [chapter]

Mathew Farrington, Jonathan Billington
1996 Software Engineering for Manufacturing Systems  
Coloured Petri nets have been used to model and therefore specify the control logic in an automotive assembly line. This paper describes the modelling activity and shows how two models of the same system, one developed using top-down methods, the other developed using bottom-up methods, may be fused.
doi:10.1007/978-0-387-35060-8_5 fatcat:ninraxoiszakzcfqxtfl22dmy4