abstraction behavior management alignment process equivalence business isotactics concurrency soundness workflow nets connectivity fully concurrent bisimulation model transformation process modeling structured process model
See more