Advances in Petri nets 1986, part I on Petri nets: central models and their properties
DeBuMA: description, building and management of applications
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Parallel distributed processing: explorations in the microstructure of cognition, vol. 1: foundations
Design flow management in the NELSIS CAD framework
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
A design utility manager: the ADAM planning engine
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
A monitor for complex CAD systems
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
The SEA Language for System Engineering and Animation
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Hi-index | 0.00 |
This paper demonstrates how design assistance for engineering processes of computer based systems is realized with the SEA-Environment. SEA allows to specify engineering processes in an unambiguous way using extended Predicate/Transition Nets (Pr/T Nets) as underlying formal model. Since Pr/T Nets are executable, tool support for a desiRn process is realized easily via simulation of the process specification. By linking a user defined abstract graphical representation to the Pr/T Net, the interface of a design assistant can be tailored to the needs and preferences of engineers. Furthermore, artificial neural networks are integrated into the SEA-Environment. Neural networks provide learning facilities, that allow learning how to take decisions during a design process, for instance the selection of an appropriate tool and its parameters amonR a set of alternatives, automatically. An advantage of this approach is that the hURe amount of knowledge needed for various decisions does not have to be acquired a priori but can be gathered during the use of an engineering environment.