View of Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors

Return to Article Details Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors Download Download PDF