Reduktion ved delvis ordre

I datalogi er reduktion af delvis ordre en teknik til at undgå eksplosion af stater i modelverifikation i automatisk planlægning . Pionererne er Antti Valmari, Patrice Godefroid, Doron Peled. Den delvise ordrereduktion forklares i mønsterkontrolbøgerne.

Referencer

  1. (i) Antti Valmari , "  Genstridige sæt til reduceret tilstand plads generation  " , Advances in Petri Nets 1990 , Springer, Berlin, Heidelberg, læse noter i Computer Science,1 st juni 1989, s.  491–515 ( ISBN  9783540538639 , DOI  10.1007 / 3-540-53863-1_36 , læst online , adgang 20. december 2018 )
  2. (i) Patrice Godefroid , "  Brug af delvise ordrer til at forbedre Automatiske kontrolmetoder  " , Computer-Aided Verification , Springer, Berlin, Heidelberg, læse noter i Computer Science,18. juni 1990, s.  176–185 ( ISBN  9783540544777 , DOI  10.1007 / BFb0023731 , læst online , adgang 20. december 2018 )
  3. (in) Doron Peled , "  Alt fra en, en for alle: en model, der kontrollerer ved hjælp af repræsentanter  " , Computer Aided Verification , Springer, Berlin, Heidelberg, læs notater inden for datalogi,28. juni 1993, s.  409–423 ( ISBN  9783540569220 , DOI  10.1007 / 3-540-56922-7_34 , læst online , adgang 20. december 2018 )
  4. Christel Baier og Joost-Pieter Katoen , principper for modelkontrol (repræsentation og sindsserie) , The MIT Press ,2008, 975  s. ( ISBN  978-0-262-02649-9 , læs online )