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]

Abstract

Abstract is missing.