Sciweavers

112 search results - page 3 / 23
» Two Algebraic Process Semantics for Contextual Nets
Sort
View
APN
1994
Springer
13 years 9 months ago
On the Model of Computation of Place/Transition Petri Nets
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
José Meseguer, Ugo Montanari, Vladimiro Sas...
APN
2006
Springer
13 years 9 months ago
Non-sequential Behaviour of Dynamic Nets
Dynamic nets are an extension of Petri nets where the net topology may change dynamically. This is achieved by allowing (i) tokens to be coloured with place names (carried on as da...
Roberto Bruni, Hernán C. Melgratti
ICIP
2008
IEEE
13 years 11 months ago
A systematic study of the role of context on image classification
We present the results of a systematic study of the contextual gain hypothesis for image classification. This hypothesis relates the traditional strategy of direct visual classi...
Nikhil Rasiwasia, Nuno Vasconcelos
CONCUR
2001
Springer
13 years 9 months ago
Compositional Modeling of Reactive Systems Using Open Nets
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Rei...
IAJIT
2010
166views more  IAJIT 2010»
13 years 3 months ago
Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
Faiza Bouchoul, Mohamed Mostefai