Author:
Baldan Paolo,Corradini Andrea,Ehrig Hartmut,Heckel Reiko,König Barbara
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Badouel, E., Llorens, M., Oliver, J.: Modeling concurrent systems: Reconfigurable nets. In: Proc. of PDPTA 2003, vol. 4, pp. 1568–1574. CSREA Press (2003)
2. Lecture Notes in Computer Science;P. Baldan,2001
3. Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional semantics for open Petri nets based on deterministic processes. Mathematical Structures in Computer Science 15(1), 1–35 (2004)
4. Baldan, P., Corradini, A., Ehrig, H., Heckel, R., König, B.: Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Technical Report CS-2006-9, Computer Science Department, University Ca’ Foscari of Venice (2006)
5. Lecture Notes in Computer Science;A.M. Bednarczyk,1999
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献