We are know able to enrich Madeus with a property language so that a Madeus assembly can be translated to a Petri net and temporal logic properties. Model checkers than can be used to verify properties on assemblies and to help developers in their deployment design.
This also illsutrates that Madeus is specific to deployment and much more convenient than its equivalent Petri net ! Take a look at this subpart of the OpenStack assembly !
