For the most recent entries see the
Petri Nets Newsletter.
An Approach to Automated Static Analysis of Distributed Software.
Proc. of the 1st Int. Conf. on Supercomputing Systems, St. Petersburg, Florida, pages 377-385.
IEEE Computer Society Press,
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography