Token Trail Semantics II - Petri Nets And Their Net Language.
Jakub KovárRobin BergenthumPublished in: Petri Nets (2024)
Keyphrases
- petri net
- process algebra
- specification language
- discrete event systems
- petri net model
- definition language
- fuzzy petri net
- manufacturing systems
- concurrent systems
- colored petri nets
- programming language
- process model
- formal semantics
- ims ld
- natural language
- state machines
- formal languages
- service composition
- control flow
- description language
- logic programming
- metadata
- programmable logic controller