Finalize CTMC infGen creation with SolverEnv.getGenerator()

Queueing Theory Algorithms

Brought to you by: casaleggg

Milestone: Core engine

Status: open

Owner: nobody

Labels: None

Progress: Pending

Updated: 2023-12-04

Created: 2023-01-10

Private: No

The current method provides CTMCs for environment and individual stage models but not the overall generator.

Anonymous