For the most recent entries see the
Petri Nets Newsletter
.
Keyword: computer tools for nets
Schmidt, Karsten
:
Stubborn Sets for Standard Properties.
1999.
Christensen, Søren
;
Jørgensen, Jens B.
:
Analysing Bang & Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets.
1997.
Jørgensen, Jense Bæk
;
Mortensen, Kjeld Høyer
:
Modelling and Analysis of Distributed program Execution in BETA Using Coloured 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