1397 search results - page 6 / 280 » Manufacturing Modeling using Process Nets with Resources |
151
click to vote
FPGA
2006
ACM
15 years 10 months ago
2006
ACM
Abstract-- Increasing device densities allow chip manufacturers to integrate more functionality onto a single piece of silicon. FPGA manufacturers, such as Xilinx and Altera, use t...
146
click to vote
WSC
1998
15 years 7 months ago
1998
This paper presents SimBuilder, a simulation system incorporating environmental and quality concerns into a traditional manufacturing simulation environment. These simulations can...
150
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
We introduce ranked open nets, a reactive extension of Petri nets which generalises a basic open net model introduced in a previous work by allowing for a refined notion of interf...
214
click to vote
DKE
2008
15 years 6 months ago
2008
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...
145
click to vote
WSC
1998
15 years 7 months ago
1998
This paper presents Timed Petri Nets (TPN) as an analytical approach for verification of computerized queueing network simulation models at steady state. It introduces a generic a...