Petri Nets with Parameterised Data: Modelling and Verification (Extended Version).

Silvio Ghilardi Alessandro Gianola Marco Montali Andrey Rivkin

Published in: CoRR (2020)

Keyphrases

petri net
data processing
data analysis
manufacturing systems
web services
discrete event systems
colored petri nets