Representing place/transition nets in span(Graph)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1349, Issue , 1997, Pages 322-336

  Katis, Piergiulio ^a   Sabadini, N ^b   Walters, R F C ^a  

^a UNIVERSITY OF SYDNEY   (Australia)

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

CONCURRENT SYSTEMS; REFLEXIVE GRAPHS;

ALGEBRA;

EID: 84947908388     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0000480     Document Type: Conference Paper

References (28)

1. Abramsky S., Interaction Categories (extended abstract), in: Theory and Formal Methods Workshop, Springer-Verlag (1993).
2. A. Arnold, Finite transition systems, Prentice Hall, 1994.
3. J. Bénabou, Introduction to bicategories, in: Reports of the Midwest Category Seminar, Lecture Notes in Mathematics 47, pages 1-77, Springer-Verlag, 1967.
4. Bloom S., Sabadini N, Waiters RFC, Matrices, machines and behaviors, Applied Categorical Structures 4 (1996) 343-360.
5. Cockett J.R.B. and Spooner D.A., SProc Categorically, in: Proceedings of CONCUR ‘94, Springer-Verlag (1994).
6. A. Carboni and R.F.C. Walters, Cartesian Bicategories I, Journal of Pure and Applied Algebra, 49, pages 11-32, 1987.
7. Genrich H.J., Predicate/Transition nets, in: Petri nets, LNCS 254 Springer- Verlag (1986) 207-247.
8. Jensen K., Coloured Petri nets, in: Petri nets, LNCS 254 Springer-Verlag (1986) 248-299.
9. Joyal A., Nielsen M. and Winskel G., Bisimulation and open maps, in: Proceedings of the Eight Symposium on Logic in Computer Science, IEEE (1993).
10. Joyal A. and Street R., The geometry of tensor calculus I, in: Advances in Math. 88 (1991) 55-113.
11. Joyal A., Street R. and Verity D., Traced monoidal categories, in: Math. Proc. Camb. Phil. Soc. 119 (1996) 447-468.
12. Katis P., Categories and bicategories of processes, PhD Thesis, University of Sydney (1996).
13. Katis P, Sabadini N, Walters RFC, The bicategory of circuits, Computing: Australian Theory Seminar, UTS, Sydney (1994).
14. Katis P, Sabadini N, Walters RFC, Bicategories of processes, Journal of Pure and Applied Algebra, 115, no.2, pp 141-178, 1997.
15. Katis P, Sabadini N, Walters RFC, Span(Graph): A categorical algebra of transition systems, LLNCS (this volume).
16. Kelly G.M. and Laplaza M.L., Coherence for compact closed categories, in: Journal of Pure and Applied Algebra 19 (1980) 193-213.
17. S. Mac Lane, Categories for the working mathematician, Springer Verlag, 1970.
18. Milner R., Communication and Concurrency, Prentice Hall International (1989).
19. Meseguer J. and Montanari U., Petri nets are monoids, in: Information and Computation, 88(2) 105-155 (1990).
20. Mauri G., Sabadini N., Shammah S. and Walters R.F.C., On distributive automata, asynchronous automata and Petri nets, Preprint, 1995.
21. R. Penrose, Applications of negative dimensional torsors, in Combinatorial Mathematics and its applications, (D. J. A. Welsh, Ed.) pp. 221-244, Academic Press, New York, 1971.
22. Reisig W., Place/Transition systems, in: Petri nets, LNCS 254 Springer- Verlag (1986) 117-141.
23. Sabadini N. and Walters R.F.C., On functions and processors: an automatatheoretic approach to concurrency through distributive categories, School of Mathematics and Statistics Research Reports, University of Sydney, (93-7), 1993.
24. Sabadini N., Walters R.F.C., Weld Henry, Distributive automata and asynchronous circuits, Category Theory and Computer Science 5, Amsterdam, 28-32, 1993.
25. N. Sabadini and R.F.C. Walters, On functions and processors: an automatatheoretic approach to concurrency through distributive categories, School of Mathematics and Statistics Research Reports, University of Sydney, (93-7), 1993.
26. Thiagarajan P. S., Elementary net systems, in: Petri nets, LNCS 254 Springer-Verlag (1986) 26-59.
27. R.F.C. Waiters, Categories and Computer Science, Carslaw Publications 1991, Cambridge University Press 1992.
28. R.F.C. Walters, An imperative language based on distributive categories, Mathematical Structures in Computer Science, 2:249-256, 1992.