Jörg Desel Gabriel Juhás Robert Lorenz Process Semantics of Petri Nets over Partial Algebra. 146-165 2000 ICATPN http://link.springer.de/link/service/series/0558/bibs/1825/18250146.htm db/conf/apn/icatpn2000.html#DeselJL00