Treffer: Translating Behavior Trees to Petri Nets for Model Checking

Title:
Translating Behavior Trees to Petri Nets for Model Checking
Authors:
Palmas, Matteo, Klauck, Michaela, Lange, Ralph, Ghiorzi, Enrico, Tacchella, Armando
Source:
2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS) MODELS Model Driven Engineering Languages and Systems (MODELS), 2025 ACM/IEEE 28th International Conference on. :154-163 Oct, 2025
Relation:
2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS)
Database:
IEEE Xplore Digital Library