For the most recent entries see the
Petri Nets Newsletter.
Formal Analysis of Real-Time Systems with SAM.
Proc. of the 4th International Conference on Formal Engineering Methods, Lecture Notes in Computer Science, pages 275-286.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography