For the most recent entries see the
Petri Nets Newsletter.
Keyword: case studies
-
Jørgensen, Jens Bæk:
Coloured Petri Nets in Development of a Pervasive Health Care System.
2003.
-
Sherif, Adnan;
Sampaio, Augusto;
Cavalcante, Sérgio:
Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets.
2003.
-
Kristensen, L. M.;
Mitchell, B.;
Zhang, L.;
Billington, J.:
Modelling and Initial Analysis of Operational Planning Processes using Coloured Petri Nets.
2002.
-
Ouyang, Chun;
Kristensen, Lars Michael;
Billington, Jonathan:
A Formal Service Specification for the Internet Open Trading Protocol.
2002.
-
Christensen, Søren;
Jørgensen, Jens B.:
Analysing Bang & Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets.
1997.
-
Christensen, Søren;
Mortensen, Kjeld H.:
Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course.
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