For the most recent entries see the
Petri Nets Newsletter
.
Keyword: specification languages
Di Marzo Serugendo, G.
;
Guelfi, N.
;
Romanovsky, A.
;
Zrozo, A.F.
:
Formal development and validation of Java dependable distributed systems.
1999.
Bause, F.
;
Kabutz, H.
;
Kemper, P.
;
Krintzinger, P.
:
SDL and Petri net performance analysis of communicating system.
1996.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography