Title: The formal specification of computer systems using Petri Nets
Subjects: Computer science