Sciweavers

1397 search results - page 10 / 280
» Manufacturing Modeling using Process Nets with Resources
Sort
View
CAD
1998
Springer
13 years 8 months ago
CAD and the product master model
We develop an architecture for a product master model that federates CAD systems with downstream application processes for di erent feature views that are part of the design proce...
Christoph M. Hoffmann, Robert Joan-Arinyo
CONCUR
2009
Springer
14 years 3 months ago
Encoding Asynchronous Interactions Using Open Petri Nets
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...
Paolo Baldan, Filippo Bonchi, Fabio Gadducci
APN
2008
Springer
13 years 10 months ago
Process Discovery Using Integer Linear Programming
Abstract. The research domain of process discovery aims at constructocess model (e.g. a Petri net) which is an abstract representation of an execution log. Such a Petri net should ...
Jan Martijn E. M. van der Werf, Boudewijn F. van D...
TE
2010
119views more  TE 2010»
13 years 3 months ago
Innovative Teaching of IC Design and Manufacture Using the Superchip Platform
This paper describes how an intelligent chip architecture has allowed a large cohort of undergraduate students to be given effective practical insight into IC design, by designing ...
Peter R. Wilson, Reuben Wilcock, Iain McNally, Mat...
ADVIS
2004
Springer
14 years 2 months ago
On the Application of WF-Nets for Checking Hybrid IDEF0-IDEF3 Business Process Models
Abstract. In many practical business process modelling scenarios using Petri nets, the resultant model does not have a single input place and a single output place. In particular, ...
Costin Badica, Chris Fox