학술논문

On Analysis of Boundness Property for ECATNets by Using Logic of Concurrency.
Document Type
Article
Source
International Review on Computers & Software; Sep2008, Vol. 3 Issue 5, p492-505, 14p, 2 Black and White Photographs, 6 Diagrams
Subject
PETRI nets
COMPUTER logic
FORMAL language semantics
REWRITING systems (Computer science)
MAUDE (Computer program language)
Language
ISSN
18286003
Abstract
Copyright of International Review on Computers & Software is the property of Praise Worthy Prize S.r.L. and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Online Access