Skip to content

display_automaton(name: string [, convert: bool, color: bool]) -> AutomatonDisplay

Get AutomatonDisplay instance and display automaton.

Parameter

Name Type Description Default
name string DES model name required
convert bool Apply and display String Event and String State True
color bool Separate colors depending on whether the control is uncontrollable or controllable. False

Return

AutomatonDisplay instance

Example

render sample
model = pytct.AutomatonDisplay("model")
model.render()
An image window will appear. If you are in a Jupyter environment, it will appear below the cell.

save sample
model = pytct.AutomatonDisplay("model")
model.save("model")

The file is saved as "model.png" in the current directory.