Semilinear Home-space is Decidable for Petri Nets.

Petr Jancar Jérôme Leroux

Published in: CoRR (2022)

Keyphrases

petri net
discrete event systems
manufacturing systems
high level petri nets
petri net model
service composition
stochastic petri net
fuzzy petri net
knowledge based systems
state machines
concurrent processes
programmable logic controller
expert systems
high dimensional
learning process
process model