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}
}



PDF (430 kB)
© University of Duisburg-Essen, Theoretical Computer Science group