Categorical Multirelations, Linear Logic and Petri Nets Export

@unpublished{citeulike:401374, abstract = {This note presents a category of multirelations, which is, in a loose sense a generalisation of both our previous work (the categories GC, [dP'89]) and of Chu's construction ANC [Barr'79]. The main motivation for writing this note was the utilisation of the category GC by Brown and Gurr [BG90] to model Petri Nets. We wanted to extend their work to deal with multirelations, as Petri Nets are usually modelled using multirelations pre and post. That proved easy enough and people interested mainly...}, author = {de Paiva, V.}, citeulike-article-id = {401374}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.6048}, keywords = {linear, logic, nets, petri}, month = {May}, posted-at = {2005-11-19 17:01:15}, priority = {0}, title = {Categorical Multirelations, Linear Logic and Petri Nets}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.6048}, year = {1991} }

TY - UNPB ID - citeulike:401374 L3 - citeulike-article-id:401374 N2 - This note presents a category of multirelations, which is, in a loose sense a generalisation of both our previous work (the categories GC, [dP'89]) and of Chu's construction ANC [Barr'79]. The main motivation for writing this note was the utilisation of the category GC by Brown and Gurr [BG90] to model Petri Nets. We wanted to extend their work to deal with multirelations, as Petri Nets are usually modelled using multirelations pre and post. That proved easy enough and people interested mainly... TI - Categorical Multirelations, Linear Logic and Petri Nets KW - linear KW - logic KW - nets KW - petri AU - de Paiva, V PY - 1991/May 31// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.6048 ER -