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.

travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States

Benjamin Meis, Robin Bergenthum, Jörg Desel. travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States. In Wil M. P. van der Aalst, Eike Best, editors, Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings. Volume 10258 of Lecture Notes in Computer Science, pages 101-111, Springer, 2017. [doi]

Authors

Benjamin Meis

This author has not been identified. Look up 'Benjamin Meis' in Google

Robin Bergenthum

This author has not been identified. Look up 'Robin Bergenthum' in Google

Jörg Desel

This author has not been identified. Look up 'Jörg Desel' in Google
runs on