For the most recent entries see the Petri Nets Newsletter.

Petri Net Models and Efficient T-invariant Analysis for Logical Inference of Clauses.

Lin, C.; Chanson, S.T.; Murata, Tadao

In: Procs. of the 1996 IEEE International Conference on Systems Man, and Cybernetics, Beijing, China, Oct. 14-16, 1996. 1996.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography