For the most recent entries see the
Petri Nets Newsletter
.
Keyword: satisfiability problem
Watanabe, Toshimasa
;
Mizobata, Yutaka
;
Onaga, Kenji
:
A Petri-Net-Based Algorithm for Proofs in Horn Clause Propositional Logic.
1990.
Watanabe, Toshimasa
;
Mizobata, Yutaka
;
Onaga, Kenji
:
A Petri-Net-Based Analysis of the Satisfiability Problem in the Horn Clause Propositional Logic.
1990.
Yen, Hsu-Chun
:
A Logic for Petri Nets and its Applications.
1989.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography