ptnet

Documentation

Index

• type PTNet
  • func LoadFile(filePath string) *PTNet
  • func (p PTNet) StateMachine() *StateMachine
  • func (p PTNet) String() string
• type Place

Types

type PTNet

type PTNet struct {
	Places      map[string]Place
	Transitions map[Action]Transition
}

func LoadFile

func LoadFile(filePath string) *PTNet

func (PTNet) StateMachine

func (p PTNet) StateMachine() *StateMachine

func (PTNet) String

func (p PTNet) String() string

type Place

type Place struct {
	Initial  uint64 `json:"initial"`
	Offset   int    `json:"offset"`
	Capacity uint64 `json:"capacity"`
}