Parameterized Analysis of Immediate Observation Petri Nets.

Javier Esparza Mikhail A. Raskin Chana Weil-Kennedy

Published in: CoRR (2019)

Keyphrases

petri net
colored petri nets
complex systems
discrete event systems
high level petri nets
neural network
knowledge base
web services
business process
service composition
petri net model