For the most recent entries see the
Petri Nets Newsletter.
Mitchell, B.
-
Mitchell, Brice;
Kristensen, Lars Michael;
Zhang, Lin:
Formal specification and state space analysis of an operational planning process.
2007.
-
Mitchell, Brice;
Kristensen, Lars M.;
Zhang, Lin:
Formal Specification and State Space Analysis of an Operational Planning Process.
2004.
-
Kristensen, L. M.;
Mitchell, B.;
Zhang, L.;
Billington, J.:
Modelling and Initial Analysis of Operational Planning Processes using Coloured Petri Nets.
2002.
-
Zhang, Lin;
Mitchell, Brice;
Falzon, Lucia;
Davies, Mike;
Kristensen, Lars M.;
Billington, Jonathan:
Model-based Operational Planning Using Coloured Petri Nets.
2001.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography