Transformation of Activity Diagram into Coloured Petri Nets Using Weighted Directed Graph.

Maryam Jamal Nazir Ahmad Zafar

Published in: FIT (2016)

Keyphrases

directed graph
coloured petri nets
random walk
edge weights
graph structure
strongly connected
formal verification
human activities
undirected graph
maximum flow
uml activity diagrams
directed acyclic graph
shortest path problem
level set
source node
transition matrix