For the most recent entries see the
Petri Nets Newsletter
.
Keyword: horn clause logic
Corradini, A.
;
Ferrari, G.L.
;
Montanari, U.
:
Transition Systems with Algebraic Structure as Models of Computations.
1990.
Krämer, B.
:
SEGRAS: the GRASPIN Specification Language - Preliminary Reference Manual.
1986.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography