This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
: 3D technologies open up new possibilities for modeling business processes. They provide higher plasticity and eliminate some deficits of conventional 2D process modeling such as ...
Stefanie Betz, Daniel Eichhorn, Susan Hickl, Stefa...