For the most recent entries see the
Petri Nets Newsletter
.
Keyword: verification system
Eggert, H.
:
A Formal Net Specification of the Communication in a Distributed Fast Reactor Diagnostic System.
1989.
Chang, C.K.
;
Chang, Y.-F.
;
Song, C.-C.
;
Aoyama, M.
:
INTEGRAL: Petri-Net Approach to Distributed Software Development.
1989.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography