Liveness and fairness analysis for Petri net with decomposition based on the index of place.

For the most recent entries see the Petri Nets Newsletter.

In: Mini-Micro System, 26(2),, pages 226-229. 2005.

Do you need a refined search? Try our search engine which allows complex field-based queries.