Eike Best Raymond R. Devillers Maciej Koutny The Box Algebra = Petri Nets + Process Expressions. 44-100 2002 178 Inf. Comput. 1 http://dx.doi.org/10.1006/inco.2002.3117 db/journals/iandc/iandc178.html#BestDK02