Edit History

Wiki

Version 6 (Luis Valencia Cabrera, 08/22/2012 03:03 pm)

1 2 Luis Valencia Cabrera 
h1. Kernel P Systems
2 3 Luis Valencia Cabrera 





    3
    4
    Luis Valencia Cabrera
    
* "Kernel P Systems description":http://www.gcn.us.es/redmine/dmsf/files/2948/download





    4
    5
    Luis Valencia Cabrera
    





    5
    6
    Luis Valencia Cabrera
    
* "MeCoSim - Kernel P Systems Bundle":http://www.gcn.us.es/redmine/dmsf/files/2949/download





    6
    5
    Luis Valencia Cabrera
    





    7
    4
    Luis Valencia Cabrera
    
* "Examples section":http://www.gcn.us.es/redmine/projects/kernelpsystems/dmsf?folder_id=1257





    8
    5
    Luis Valencia Cabrera
    





    9
    5
    Luis Valencia Cabrera
    
* References:





    10
    1
    Luis Valencia Cabrera
    
> * "A Kernel P System":http://www.gcn.us.es/10BWMC/10BWMCvolI/papers/kPsytems.pdf





    11
    6
    Luis Valencia Cabrera
    
> * "Towards an integrated approach for model simulation, property extraction and verification of P systems":http://www.gcn.us.es/10BWMC/10BWMCvolI/papers/paper_pit_sev_sheff.pdf