Analyzing Dynamic Voting Using Petri Nets.

Ing-Ray Chen, Ding-Chau Wang

Browse the full SRDS paper archive.