Solving a Safety Game on the Unfolding of Safe Petri Nets.

Federica Adobbati Luca Bernardinello Lucia Pomello

Published in: PNSE@Petri Nets (2023)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
fuzzy petri net
ims ld
state machines
colored petri nets
computer games
stochastic petri net
discrete dynamical systems
video games
service composition
artificial intelligence
data analysis
concurrent systems