Entwicklung eines Werkzeugs zur Modellierung der initialen Wissensbasen und Rollen-Abhängigkeiten in Multiangentenanwendungen im Kontext von PAOSE

von Mosteller, David
Veröffentlicht 2010

Metamodellierung für den PAOSE-Softwareentwicklungsansatz

von Mosteller, David
Veröffentlicht 2014

Model Checking of Synchronized Domamm-Specific Multi-formalism Models Using High-Level Petri Nets

von Haustermann, Michael
Veröffentlicht in PETRI NETS (42. : 2021 : Online) Application and Theory of Petri Nets and Concurrency (2021)

Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics

von Mosteller, David
Veröffentlicht in International Conference on Application and Theory of Petri Nets and Concurrency (39. : 2018 : Bratislava) Transactions on Petri Nets and Other Models of Concurrency XIV (2020)