For the most recent entries see the
Petri Nets Newsletter.
Toward Formal Analysis of Ultra-reliable Computers - a Total System Approach.
AIAA 7th Digital Avionics System Conf., Fort Worth: Proc. of the IEEE, pages 678-686.
New York: IEEE,
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography