2005/12/30 by Róbert Lovas, Bertalan Vécsei · 1 citation
Computer Science · #Distributed and Parallel Computing Systems #Distributed systems and fault tolerance #Petri Nets in System Modeling
paper · doi:10.1007/0-387-23096-3_10
openalex publication_date 2005/12/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/06/11
In this paper we present a combined method, which enables the collaboration of parallel debugging techniques with simulation and verification of parallel program’s coloured Petri-net model in the frame of an integrated development environment. For parallel applications, written in the hybrid graphical language of P-GRADE, the coloured Petri-net model can be automatically generated. The Occurrence Graph (a kind of state-space) is constructed straight away from the model by the GRSIM simulation engine, which allows examining and querying the Occurrence Graph for critical information, such as dead-locks, wrong termination, or the meeting the temporal logic specification. Based on the obtained information the macrostep-based execution can be steered towards the erroneous situations assisting to users to improve the quality of their software.