For the most recent entries see the
Petri Nets Newsletter
.
Keyword: MAUDE
Aoumeur, N.
;
Saake, G.
:
Towards an object Petri net model for specifying and validating distributed information systems.
1999.
Meseguer, José
:
A Logical Theory of Concurrent Objects.
1990.
Bjorn, J.
;
Hagalisletto, A.M.
;
Enger, P.
:
Large Scale simulations of Railroad Nets.
06.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography