Analysis of Robotic System Models Through Property Inheritance from Petri Net Meta-models.