A Coloured Petri Net Based Semantics of LOTOS¶
Herrmann, P. (2000). A Coloured Petri Net Based Semantics of LOTOS.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Language of Temporal Ordering Specification
- Operational semantics. Structured semantic rules map each behavior expression to a labeled transition system (LTS): states are behavior configurations; labeled arcs are observable actions or an internal action; one initial state anchors execution.
This sourceTechnical treatment restating the standard labeled-transition-system operational semantics and value-carrying labels.
- Operational semantics. Structured semantic rules map each behavior expression to a labeled transition system (LTS): states are behavior configurations; labeled arcs are observable actions or an internal action; one initial state anchors execution.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:161baa7c918b · see in the full table