Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms

Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello. Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms. T. Petri Nets and Other Models of Concurrency, 8:48-70, 2013. [doi]

Authors

Luca Bernardinello

This author has not been identified. Look up 'Luca Bernardinello' in Google

Elisabetta Mangioni

This author has not been identified. Look up 'Elisabetta Mangioni' in Google

Lucia Pomello

This author has not been identified. Look up 'Lucia Pomello' in Google