— This paper introduces the concept of kl-feasible cuts, by controlling both the number k of inputs and the number l of outputs in a circuit cut. To provide scalability, the conc...
Osvaldo Martinello, Felipe S. Marques, Renato P. R...
Inter-organisational applications require improved support from middleware services. This paper analyses the management requirements of multidomain applications, covering both tec...
Mily’s World is a learning environment for coordinate geometry that has game-like properties, that is, elements of games that are engaging such as cover story, graphical represen...
We show that the so-called ‘Petri nets are monoids’ approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by...
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...