book-chapter · 1984On the relationship of CCS and petri nets72 citationsDOI: https://doi.org/10.1007/3-540-13345-3_18