For the most recent entries see the
Petri Nets Newsletter
Keyword: linear logics
A multi-region linear logic based calculus for dynamic Petri net structures.
LTrL based model checking for a restricted class of Signal Transition Graphs.
Petri nets, Horn programs, linear logic and vector games.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography