For the most recent entries see the
Petri Nets Newsletter
.
Keyword: system design and verification using nets
Langner, Peter
;
Schneider, Christoph
;
Wehler, Joachim
:
Petri Net Based Certification of Event-driven Process Chains.
1998.
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