For the most recent entries see the
Petri Nets Newsletter.
Formal specification and state space analysis of an operational planning process.
Mitchell, Brice;
Kristensen, Lars Michael;
Zhang, Lin
In:
International Journal on Software Tools for Technology Transfer (STTT).
2007.
URL: http://dx.doi.org/10.1007/s10009-007-0032-3.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography