On liveness analysis in mono-T-semiflow Petri nets based on choice-join pairs Academic Article in Scopus uri icon

publication date

  • January 1, 2022