Petri Net Modelling and Reliability of Distributed Algorithms.

Published in: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1981)