Computing Minimal Elements of Upward-Closed Sets for Petri Nets

Journal

28th Int'l Conf. on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2007

Pages

465-483

Date Issued

2007-06

Author(s)

H. Yen

C. Chen

DOI

URI

Type

conference paper