Newcastle University

Publication

Deriving Petri Nets from finite transition systems (1998)

Author(s): Cortadella J, Kishinevsky M, Lavagno L, Yakovlev A

• Journal: IEEE Transactions on Computers
• Volume: 47
• Issue: 8
• Pages: 859-882
• Publisher: IEEE Computer Society
• Publication type: Article
• Bibliographic status: Published

• URL: http://dx.doi.org/10.1109/12.707587
• DOI: 10.1109/12.707587
• ISSN (electronic): 1557-9956

Staff

Professor Alex Yakovlev Professor of Computer System Design

Email: alex.yakovlev@ncl.ac.uk Telephone: +44 (0) 191 222 8184