"A Parallel Algorithm for Computing Invariants of Petri Net Models" by Dan C. Marinescu, Mike Beaven et al.

Skip to main content

Department of Computer Science Technical Reports

Title

A Parallel Algorithm for Computing Invariants of Petri Net Models

Authors

Dan C. Marinescu
Mike Beaven
Ryan Stansifer

Date of this Version

1991

Revised Date

1991-09-04 00:00

Tech Report Number

91-024

Number of Pages

8

Included in

Computer Sciences Commons

COinS