Analysis of Boundedness and Safeness in a Petri Net-Based Specification of Concurrent Control Systems is a timely and rigorous new resource from Bentham Science for computer scientists, control ...