Sciweavers

APN
2007
Springer
13 years 11 months ago
Complete Process Semantics for Inhibitor Nets
In this paper we complete the semantical framework proposed in [12] for process and causality semantics of Petri nets by an additional aim and develop process and causality semanti...
Gabriel Juhás, Robert Lorenz, Sebastian Mau...