Kleene Theorems for Labelled Free Choice Nets.

Ramchandra Phawade Kamal Lodaya

Published in: PNSE @ Petri Nets (2014)

Keyphrases

propositional logic
trade off
optimal solution
learning environment
regular expressions
real world
cooperative
user interface
special case
pattern matching