Skip to content

CHANGE: add support for delay expression and priority to s2lpn #1

@buggsley

Description

@buggsley

Make delay expressions optional

Continue to translate [l,u] to [uniform(l,u)]

If find, priority(e) then output put that as the priority expression
for this transition

Otherwise an expression after the enabling condition and before
assignments is a delay expression which should be output as [e].

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions