Sandro Morasca. Measuring Attributes of Concurrent Software Specifications in Petri Nets. In 6th IEEE International Software Metrics Symposium (METRICS 1999), 4-6 November 1999, Boca Raton, FL, USA. pages 100-110, IEEE Computer Society, 1999. [doi]
Abstract is missing.