1. Verifying SysML activity diagrams using formal transformation to Petri nets. Issue 1 (12th November 2019) Authors: Huang, Edward; McGinnis, Leon F.; Mitchell, Steven W. Journal: Systems engineering Issue: Volume 23:Issue 1(2020) Page Start: 118 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗