Subject
General Computer Science,Theoretical Computer Science
Reference45 articles.
1. Comments on capabilities, limitations and correctness” of Petri nets;Agerwala;Computer Architecture News,1973
2. P. Baldan. Modelling concurrent computations: from contextual Petri nets to graph grammars. PhD thesis, Department of Computer Science, University of Pisa, 2000. Available as technical report n. TD-1/00.
3. P. Baldan, N. Busi, A. Corradini, and G.M. Pinna. Functorial concurrent semantics for petri nets with read and inhibitor arcs. In C. Palamidessi, editor, CONCUR'OO Conference Proceedings, volume 1877 of LNCS, pages 442–457. Springer Verlag, 2000.
4. P. Baldan, A. Corradini, and U. Montanari. Contextual Petri nets, asymmetric event structures and processes. To appear in Information and Computation
5. P. Baldan, A. Corradini, and U. Montanari. Concatenable graph processes: relating processes and derivation traces. In Proceedings of ICALP'98, volume 1443 of LNCS, pages 283–295. Springer Verlag, 1998.