Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets.
David NavarrePhilippe A. PalanqueSven CoppersKris LuytenDavy VanackenPublished in: FM Workshops (1) (2019)
Keyphrases
- petri net
- feed forward
- back propagation
- neural nets
- artificial neural networks
- neural network
- reactive systems
- petri net model
- colored petri nets
- manufacturing systems
- state machines
- visual cortex
- discrete event systems
- fuzzy petri net
- user interface
- recurrent neural networks
- adaptive neural
- service composition
- ims ld
- artificial intelligence
- stochastic petri net
- data mining
- sequence diagrams
- recurrent networks
- formal methods
- representation scheme
- formal specification
- hardware and software
- design process
- low cost