PNTooL

swMATH13754MaRDI QIDQ25666FDOQ25666

Author name not available (Why is that?)

Official website: https://www.informatik.uni-augsburg.de/lehrstuehle/inf/mitarbeiter/huber/software/

Described by source

• Modeling quantitative aspects of concurrent systems using weighted Petri net transducers

Cited In (2)

• On weighted Petri net transducers
• SNAKES

This page was built for software: PNTooL