Open Petri Nets: Non-deterministic Processes and Compositionality
Baldan, Paolo, Corradini, Andrea, Ehrig, Hartmut, König, Barbara
Published in Graph Transformations (2008)
Published in Graph Transformations (2008)
Get full text
Book Chapter