External Links

Cite Key

Statistics

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

PDF

Tags

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.

Petri Net Analysis Using Boolean Manipulation

Enric Pastor, Oriol Roig, Jordi Cortadella, Rosa M. Badia. Petri Net Analysis Using Boolean Manipulation. In Robert Valette, editor, Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings. Volume 815 of Lecture Notes in Computer Science, pages 416-435, Springer, 1994.

Authors

Enric Pastor

This author has not been identified. Look up 'Enric Pastor' in Google

Oriol Roig

This author has not been identified. Look up 'Oriol Roig' in Google

Jordi Cortadella

This author has not been identified. Look up 'Jordi Cortadella' in Google

Rosa M. Badia

This author has not been identified. Look up 'Rosa M. Badia' in Google
runs on