Sciweavers

1014 search results - page 137 / 203
» ''What Is a Petri Net
Sort
View
IJFCS
2011
78views more  IJFCS 2011»
14 years 7 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
125
Voted
COLING
2010
14 years 7 months ago
HowNet and Its Computation of Meaning
The presentation will mainly cover (1) What is HowNet? HowNet is an on-line common-sense knowledgebase unveiling inter-conceptual relationships and interattribute relationships of...
Zhendong Dong, Qiang Dong, Changling Hao
108
Voted
CORR
2011
Springer
195views Education» more  CORR 2011»
14 years 7 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
15 years 7 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...
105
Voted
APSCC
2008
IEEE
15 years 7 months ago
Adaptive Learning Sequencing for Course Customization: A Web Service Approach
— We discuss a learning model that enables the creation of optimal learning strategies that suit learners’ needs. A customized learning content is delivered to learners as mana...
Ivan Madjarov, Abdelkader Bétari