External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Lazy Query Scheme for Reachability Analysis in Petri Nets

Loïg Jezequel, Didier Lime, Bastien Sérée. A Lazy Query Scheme for Reachability Analysis in Petri Nets. In Didier Buchs, Josep Carmona, editors, Application and Theory of Petri Nets and Concurrency - 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings. Volume 12734 of Lecture Notes in Computer Science, pages 360-378, Springer, 2021. [doi]

Authors

Loïg Jezequel

This author has not been identified. Look up 'Loïg Jezequel' in Google

Didier Lime

This author has not been identified. Look up 'Didier Lime' in Google

Bastien Sérée

This author has not been identified. Look up 'Bastien Sérée' in Google
runs on