Sciweavers

1369 search results - page 160 / 274
» On the Semantics of Petri Nets
Sort
View
IJFCS
2011
78views more  IJFCS 2011»
13 years 5 months ago
P Systems and Topology: Some Suggestions for Research
some studies linked the computational power of abstract computing systems based on multiset rewriting to Petri nets and the computation power of these nets to pology. In turn, the ...
Pierluigi Frisco, Hendrik Jan Hoogeboom
LREC
2008
132views Education» more  LREC 2008»
14 years 5 days ago
Complete and Consistent Annotation of WordNet using the Top Concept Ontology
This paper presents the complete and consistent ontological annotation of the nominal part of WordNet. The annotation has been carried out using the semantic features defined in t...
Javier Álvez, Jordi Atserias, Jordi Carrera...
LREC
2008
85views Education» more  LREC 2008»
14 years 5 days ago
Lexicon, Grammar, and Multilinguality in the Japanese FrameNet
This paper discusses findings of a frame-based contrastive text analysis, using the large-scale and precise descriptions of semantic frames provided by the FrameNet project (Baker...
Kyoko Ohara
CORR
2011
Springer
195views Education» more  CORR 2011»
13 years 5 months ago
Abstract Processes of Place/Transition Systems
Processes of Place/Transition Systems6 Rob van Glabbeeka,b , Ursula Goltzc , Jens-Wolfhard Schickec aNICTA, Sydney, Australia bSchool of Computer Science and Engineering, Universit...
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard S...
APN
2009
Springer
14 years 5 months ago
ASAP: An Extensible Platform for State Space Analysis
The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms. ASAP supports a wide ra...
Michael Westergaard, Sami Evangelista, Lars Michae...