Return to Article Details Evaluation of the testability of the Moise+ organizational model based on Petri Nets Download Download PDF