Petri Nets

Winskel, G. (1986). Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986. Springer.

Type

Book chapter

Intellectual base

Review or monograph

Year

1986

DOI

10.1007/3-540-17906-2_31

Link

https://doi.org/10.1007/3-540-17906-2_31

Cited by

1 citation across 1 artifact.

Domain-specific

• Event structure
  • An event structure specifies which events depend on earlier events and which combinations cannot coexist, with configurations representing consistent causally closed histories.

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:888db30da71b · see in the full table