Temporal logic and categories of Petri nets /
Brown, Carolyn.
Gurr, Doug.
University of Sussex.Computer Science.
Brighton : University of Sussex, Computer Science,
1994.
Cover title.