Title: Property-Preserving Petri Net Process Algebra in Software Engineering
Subjects: Software engineering, Petri nets, System design