A note on reliable full-duplex transmission over half-duplex links
Communications of the ACM
Evolving petri nets to represent metabolic pathways
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Time Petri Nets Analysis with TINA
QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
Grammatical evolution for the discovery of Petri net models of complex genetic systems
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Using genetic programming to generate protocol adaptors for interprocess communication
ICES'03 Proceedings of the 5th international conference on Evolvable systems: from biology to hardware
Hi-index | 0.00 |
This paper describes a combined evolutionary system whereby formal correctness properties are used to augment a standard functional fitness score. This system was applied to the problem of evolving the receive side of an alternating bit protocol, represented by a Petrinet. The fitness function combined a test for freedom from deadlock in addition to a functional scoring system. The efficiency gain produced nets of equal functional fitness requiring approximately one third of the number of evaluations required when functional tests were used alone. This result has wider applicability in any genetic programming evolution where formal correctness tests of the algorithms can be carried out.