Login / Signup
Coverability Trees for Petri Nets with Unordered Data.
Piotr Hofman
Slawomir Lasota
Ranko Lazic
Jérôme Leroux
Sylvain Schmitz
Patrick Totzke
Published in:
FoSSaCS (2016)
Keyphrases
</>
petri net
data analysis
process model
neural network
cellular automata