The Box Algebra=Petri Nets+Process Expressions

Information and Computation - United States
doi 10.1006/inco.2002.3117