Application of Bf-EVALPSN to Real-time Process Order Control
Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe, László Barna Iantovics, Enachescu Calin, Florin Gheorghe Filip · AIP conference proceedings · 2009
We have already proposed a paraconsistent annotated logic program called EVALPSN. In this paper, EVALPSN is developed to deal with before‐after relations between two processes (time intervals), and its application to real‐time process order control based on logical safety verification.