COMBINING CCS AND PETRI NETS VIA STRUCTURAL AXIOMS
Ugo Montanari, Daniel Yankelevich · Fundamenta Informaticae · 1994
Many approaches have been developed with the aim of capturing the advantages of both process algebras and Petri nets in terms of modularity and structure on one side and faithful description of concurrency on the other. A natural way of merging these