Sciweavers

1397 search results - page 32 / 280
» Manufacturing Modeling using Process Nets with Resources
Sort
View
ICCAD
2003
IEEE
154views Hardware» more  ICCAD 2003»
14 years 5 months ago
Length-Matching Routing for High-Speed Printed Circuit Boards
As the clock frequencies used in industrial applications increase, the timing requirements imposed on routing problems become tighter. So, it becomes important to route the nets w...
Muhammet Mustafa Ozdal, Martin D. F. Wong
IJON
2002
154views more  IJON 2002»
13 years 8 months ago
Nonlinear model predictive control of a cutting process
Nonlinear model predictive control (MPC) of a simulated chaotic cutting process is presented. The nonlinear MPC combines a neural-network model and a genetic-algorithm-based optim...
Primoz Potocnik, Igor Grabec
CMMR
2005
Springer
138views Music» more  CMMR 2005»
13 years 10 months ago
Music Analysis and Modeling Through Petri Nets
Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-...
Adriano Baratè, Goffredo Haus, Luca A. Ludo...
WSC
2001
13 years 10 months ago
Taylor enterprise dynamics
Taylor Enterprise Dynamics (Taylor ED) is an objectoriented software system used to model, simulate, visualize, and monitor dynamic-flow process activities and systems. Atoms are ...
William B. Nordgren
TCS
2002
13 years 8 months ago
A truly concurrent semantics for a process algebra using resource pomsets
In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...
Paul Gastin, Michael W. Mislove