Daniel Moldt PAOSE: A Way to Develop Distributed Software Systems Based on Petri Nets and Agents. 2006 conf/vveis/2006 MSVVEIS db/conf/vveis/msvveis2006.html#Moldt06