If you made any changes in Pure these will be visible here soon.

Research Output 2010 2019

  • 2 Citations
  • 1 h-Index
  • 5 Conference proceeding
  • 5 Paper
  • 1 Article
  • 1 Web publication/site
Filter
Article
2019
19 Downloads (Pure)

A survey of petri nets slicing

Khan, Y. I., Konios, A. & Guelfi, N., 23 Jan 2019, In : ACM Computing Surveys (CSUR). 51, 5, 26 p., 109.

Research output: Contribution to journalArticle

Open Access
File
Slicing
Petri nets
Petri Nets
State Space
Model checking