Open Petri Nets: Non-deterministic Processes and Compositionality
Reference
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, and Barbara König. Open Petri nets: Non-deterministic processes and compositionality. In Proc. of ICGT '08 (International Conference on Graph Transformation), pages 257–273. Springer, 2008. LNCS 5214.
Suggested BibTeX entry:
@inproceedings{BCEK08,
author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Barbara K{\"o}nig},
booktitle = {Proc. of ICGT '08 (International Conference on Graph Transformation)},
note = {{LNCS} 5214},
pages = {257--273},
publisher = {Springer},
title = {Open {P}etri Nets: Non-deterministic Processes and Compositionality},
year = {2008}
}
