A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.

Rodney R. Howell Louis E. Rosier Hsu-Chun Yen

Published in: MFCS (1988)

Keyphrases

petri net
temporal logic
concurrent systems
model checking
discrete event systems
reactive systems
petri net model
satisfiability problem
modal logic
service composition
ims ld
np complete
state machines
transition systems
temporally extended
fuzzy petri net
temporally extended goals