Decidability of a Temporal Logic Problem for Petri Nets

@article{Jancar1990DecidabilityOA,
  title={Decidability of a Temporal Logic Problem for Petri Nets},
  author={Petr Jancar},
  journal={Theor. Comput. Sci.},
  year={1990},
  volume={74},
  pages={71-93}
}
BETA

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

115 Citations

0510'94'99'05'11'17
Citations per Year
Semantic Scholar estimates that this publication has 115 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…