| 1995 |
|---|
| 5 | | Carolyn Brown,
Doug Gurr:
A Categorical Linear Framework for Petri Nets.
Inf. Comput. 122(2): 268-285 (1995) |
| 1993 |
|---|
| 4 | | Carolyn Brown,
Doug Gurr:
Temporal Logic and Categories of Petrie Nets.
ICALP 1993: 570-581 |
| 1992 |
|---|
| 3 | | Carolyn Brown,
Doug Gurr:
Refinement and Simulation of Nets - A Categorical Characterisation.
Application and Theory of Petri Nets 1992: 76-92 |
| 2 | | Carolyn Brown,
Doug Gurr:
Timing Petri Nets Categorically.
ICALP 1992: 571-582 |
| 1990 |
|---|
| 1 | | Carolyn Brown,
Doug Gurr:
A Categorical Linear Framework for Petri Nets
LICS 1990: 208-218 |
