Correctness Notions for Petri Nets with Identifiers.

Jan Martijn E. M. van der Werf Andrey Rivkin Marco Montali Artem Polyvyanyy

Published in: CoRR (2022)

Keyphrases

petri net
discrete event systems
petri net model
manufacturing systems
high level petri nets
service composition
fuzzy petri net
colored petri nets
source code
stochastic petri net
discrete dynamical systems
process model
state machines
concurrent systems
description language
ims ld
expert systems
natural language