Specification and Analysis of Paraliel/Distributed Sofware and Systems by Petri Nets with Transition Enabling Functions

By: Material type: ArticleArticleDescription: 252-261 pSubject(s): In: IEEE Transactions on Software Engineering
Holdings
Item type Current library Call number Vol info Status Date due Barcode
Articles Articles Periodical Section Vol.18, No.03 (Mar. 1992) Available