Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins

Open in new window