Mustafa Ghani

According to our database, Mustafa Ghani authored at least 5 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Modeling and Analyzing Planning-Aware Distributed Cyber-Physical Systems with Timed Graph Transformation Systems.

Mustafa Ghani, Holger Giese

Proceedings of the Fundamental Approaches to Software Engineering, 2026

2025

Towards Model Consistency between abstract and explicit Delay‑Robustness in Timed Graph Transformation System (short paper).

Mustafa Ghani

Proceedings of the 17th Central European Workshop on Services and their Composition (ZEUS 2025), 2025

Towards Soundness-Preserving Composition with Portable Nets.

Mustafa Ghani, Holger Giese

Proceedings of the Joint Proceedings of the Workshops at the 46th International Conference on Application and Theory of Petri Nets and Concurrency: Petri Nets and Software Engineering (PNSE'25), Algorithms & Theories for the Analysis of Event Data (ATAED'25), and Petri Net Games, Examples and Quizzes for Education, Contest and Fun (PeNGE'25) co-located with PETRI NETS 2025, June 23, 2025

2024

Deriving Delay-Robust Timed Graph Transformation System Models.

Mustafa Ghani, Sven Schneider, Maria Maximova, Holger Giese

Proceedings of the Graph Transformation - 17th International Conference, 2024

Portable Nets: Modeling and Verification of Business Processes with multiple Start and End Points.

Mustafa Ghani, Holger Giese

Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024