Parameterized Analysis of Immediate Observation Petri Nets.

Javier Esparza Mikhail A. Raskin Chana Weil-Kennedy

Published in: Petri Nets (2019)

Keyphrases

petri net
colored petri nets
state machines
petri net model
manufacturing systems
decision making
natural language
control system