For the most recent entries see the
Petri Nets Newsletter
.
Keyword: algebraic abstract data type
Buchs, Didier
;
Guelfi, Nicolas
:
CO-OPN: a Concurrent Object Oriented Petri Net Approach.
1991.
Buchs, Didier
;
Guelfi, Nicolas
:
System Specification Using CO-OPN.
1991.
Buchs, Didier
;
Guelfi, Nicolas
:
A Semantic Description of Actor Languages by Structured Algebraic Petri Nets.
1991.
Buchs, D.
;
Racloz, P.
;
Flumet, J.
:
Specification and Implementation of Parallel Algorithms.
1989.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography