## Transition systems, link graphs and Petri nets (2004)

### Cached

### Download Links

- [www.cl.cam.ac.uk]
- [pauillac.inria.fr]
- [para.inria.fr]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
James J. Leifer
,
Robin Milner

Citations: | 26 - 5 self |

### BibTeX

@MISC{Leifer04transitionsystems,,

author = {James J. Leifer and Robin Milner},

title = {Transition systems, link graphs and Petri nets},

year = {2004}

}

### OpenURL

### Abstract

A framework is defined within which reactive systems can be studied formally. The framework is based upon s-categories, a new variety of categories, within which reactive systems can be set up in such a way that labelled transition systems can be uniformly extracted. These lead in turn to behavioural preorders and equivalences, such as the failures preorder (treated elsewhere) and bisimilarity, which are guaranteed to be congruential. The theory rests upon the notion of relative pushout previously introduced by the authors. The framework