Students need realistic practice in their future professions, including teamwork. Our goal is to enhance student cooperation and simulate real-life scenarios through educational activities. We support teachers in designing asymmetric role-playing games using a specific model and tools. These games are relevant across various disciplines and educational levels, focusing on fostering cooperation. Our verification system helps ensure optimal cooperative opportunities in these scenarios. This article presents a method using Petri nets for modelling and verifying these role-playing scenarios, ensuring they promote collaboration. The method translates game tasks into reusable Petri net patterns, adaptable to various combinations. The system's effectiveness has been tested in games with two to three players, providing valuable metrics for teachers on synchronisation risks but it needs adjustments for scenarios with repeated tasks and random resources.