Sciweavers

1397 search results - page 37 / 280
» Manufacturing Modeling using Process Nets with Resources
Sort
View
87
Voted
FMSB
2008
130views Formal Methods» more  FMSB 2008»
15 years 2 months ago
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...
Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenst...
88
Voted
EUSFLAT
2003
128views Fuzzy Logic» more  EUSFLAT 2003»
15 years 1 months ago
Hardware implementation of a fuzzy Petri net based on VLSI digital circuits
Industrial processes can be often modelled using Petri nets. If all the process variables (or events) are assumed to be twovalued signals, then it is possible to obtain a hardware...
Jacek Kluska, Zbigniew Hajduk
105
Voted
CSCWD
2009
Springer
15 years 7 months ago
Using Petri Nets to specify collaborative three dimensional interaction
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
Rafael Rieder, Marcio Sarroglia Pinho, Alberto Bar...
107
Voted
BSN
2006
IEEE
131views Sensor Networks» more  BSN 2006»
15 years 6 months ago
Elaborating Sensor Data using Temporal and Spatial Commonsense Reasoning
Ubiquitous computing has established a vision of computation where computers are so deeply integrated into our lives that they become both invisible and everywhere. In order to ha...
Bo Morgan, Push Singh
106
Voted
CCE
2006
15 years 18 days ago
An object-oriented framework for modular chemical process simulation with semiconductor processing applications
This paper discusses the development of a set of object-oriented modular simulation tools for solving lumped and spatially distributed models generated from chemical process desig...
Jing Chen, Raymond A. Adomaitis