Measuring Attributes of Concurrent Software Specifications in Petri Nets