Marek A. Bednarczyk Andrzej M. Borzyszkowski Rafal Somla Finite Completeness of Categories of Petri Nets. 21-48 2000 43 Fundam. Inform. 1-4 db/journals/fuin/fuin43.html#BednarczykBS00