For the most recent entries see the
Petri Nets Newsletter
.
Keyword: elementary net
Czaja, Ludwik
:
Process languages and nets.
2000.
Diamantini, C.
;
Kasangian, S.
;
Pomello, L.
;
Simone, C.
:
Elementary Nets and 2-Categories.
1991.
Valmari, Antti
:
Eliminating Redundant Interleavings During Concurrent Program Verification.
1989.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography