Problems Concerning Fairness and Temporal Logic for Conflict-Free Petri Nets.

Rodney R. Howell Louis E. Rosier

Published in: Theor. Comput. Sci. (1989)

Keyphrases

temporal logic
petri net
concurrent systems
model checking
conflict free
reactive systems
modal logic
petri net model
discrete event systems
verification method
artificial intelligence
database systems
colored petri nets
fuzzy petri net