PTGTSs

swMATH44269MaRDI QIDQ5972415FDOQ5972415

Author name not available (Why is that?)

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