Author:
Baldan Paolo,Corradini Andrea
Publisher
Springer Berlin Heidelberg
Reference51 articles.
1. Agerwala, T., Flynn, M.: Comments on capabilities, limitations and “correctness” of Petri nets. Computer Architecture News 4(2), 81–86 (1973)
2. Baldan, P.: 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. Baldan, P., Busi, N., Corradini, A., Pinna, G.M.: Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theoretical Computer Science (2004) (to appear)
4. Lecture Notes in Computer Science;P. Baldan,2000
5. Lecture Notes in Computer Science;P. Baldan,2001
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Graph Grammar for Modelling RNA Folding;Electronic Proceedings in Theoretical Computer Science;2016-12-04