For the most recent entries see the
Petri Nets Newsletter
.
Keyword: reusable components
Heiner, M.
;
Deussen, P.
;
Spranger, J.
:
A case study in design and verification of manufacturing system control software with hierarchical Petri nets.
1999.
Holvoet, T.
;
Kielmann, T.
:
Behaviour specification of parallel active objects.
1998.
Heiner, Monika
;
Deussen, P.
;
Spranger, J.
:
A Case Study in Developing Control Software of Manufacturing Systems with Hierarchical Petri Nets.
1996.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography