Login / Signup

Reverse Unfolding of Petri Nets and its Application in Program Data Race Detection.

Zongyin HaoFaming Lu
Published in: Int. J. Softw. Informatics (2021)
Keyphrases
  • petri net
  • data processing
  • discrete event systems
  • fuzzy logic
  • low cost
  • correlation analysis