Sciweavers

1397 search results - page 10 / 280
» Manufacturing Modeling using Process Nets with Resources
Sort
View
CAD
1998
Springer
14 years 9 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
15 years 4 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
15 years 3 days 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»
14 years 4 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
15 years 3 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