PTGTSs

MaRDI QIDQ5972415swMATHFDO

Official website https://www.hpi.uni-potsdam.de/giese/public/mdelab/mdelab-projects/ptgts-checking/ptgts-simulator/

Described by source

• A simulator for probabilistic timed graph transformation systems with complex large-scale topologies

Cited in

(3)

• Augur 2
• Henshin
• SimSG

This page was built for software: PTGTSs