Title: A practical application of Petri nets in the software safety analysis of a real-time military system
Subjects: Computer science