@article{Wi¶niewski:2019,
  author  = "R. Wi¶niewski and M. Wi¶niewska and M. Jarnut",
  title   = "C-exact Hypergraphs in Concurrency and Sequentiality Analyses of Cyber-Physical Systems Specified by Safe Petri Nets",
  journal = "IEEE Access",
  volume  = "Vol. 7",
  number  = "iss. 1",
  pages   = "13510--13522",
  year    = "2019",
}