Text this: Hardware Design and Petri Nets /