Output details
15 - General Engineering
Coventry University
Nonautonomous elementary net systems and their application to programmable logic control
This is the first theoretically correct Petri-net compiler for developing industrial automation, extensively trialled at Cambridge and downloaded (worldwide) over 5000 times. It led to a general formulation (of which token-ring is a special case) of a sufficient condition for race-free communication between separate devices; which is critical to robust distributed processing in industrial systems. This paper is the culmination of several years’ research (funded by the multi-million pound Auto-ID Centre and Cambridge-MIT-Institute (Mark Harrison: director, mgh12@cam.ac.uk) both developing PC-PLC integrated control systems and trialling the reported Petri-net software development tool (Petri-LLD) with end-users.