1369 search results - page 136 / 274 » On the Semantics of Petri Nets |
116
Voted
CSL
2004
Springer
15 years 18 days ago
2004
Springer
This paper presents a suite of methods and results for the semantic disambiguation of WordNet glosses. WordNet is a resource widely used in natural language processing and artific...
95
Voted
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Extended symbolic nets are standard occurrence nets ex...
105
click to vote
APN
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
92
Voted
BPM
2008
Springer
15 years 2 months ago
2008
Springer
We present a finite representation of all services M where the composition with a given service N is deadlock-free, and a given set of activities of N can be covered (i.e. is not d...
98
Voted
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...