A reference model based on ISA-95 and Event Knowledge Graphs plus formalized patterns for automating enrichment of production event data from manufacturing sources, demonstrated on use cases.
Inferring Unobserved Events in Systems with Shared Re- sources and Queues
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
Extends Petri nets with identifiers for object- and resource-aware systems and defines generalized correctness criteria with decidability analysis.
citing papers explorer
-
A Reference Model and Patterns for Production Event Data Enrichment
A reference model based on ISA-95 and Event Knowledge Graphs plus formalized patterns for automating enrichment of production event data from manufacturing sources, demonstrated on use cases.
-
Correctness Notions for Petri Nets with Identifiers
Extends Petri nets with identifiers for object- and resource-aware systems and defines generalized correctness criteria with decidability analysis.