DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lee, Kwang-Hyung | ko |
dc.contributor.author | FAVREL, J | ko |
dc.date.accessioned | 2010-05-19T06:56:41Z | - |
dc.date.available | 2010-05-19T06:56:41Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 1993 | - |
dc.identifier.citation | IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, v.23, no.3, pp.872 - 875 | - |
dc.identifier.issn | 0018-9472 | - |
dc.identifier.uri | http://hdl.handle.net/10203/18481 | - |
dc.description.abstract | The concurrency is classified into two types: structured concurrency and nonstructured concurrency. After showing that the nonstructured concurrency cannot be represented by the conventional notations in the Petri net language, a method to represent such concurrency by the language is proposed. The proposed method allows us to utilize the existing approaches for analyzing properties of a nonstructured concurrency by the Petri net languages. | - |
dc.language | English | - |
dc.language.iso | en_US | en |
dc.publisher | IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC | - |
dc.title | REPRESENTATION OF NONSTRUCTURED CONCURRENCY BY PETRI-NET LANGUAGES | - |
dc.type | Article | - |
dc.identifier.wosid | A1993MF08900020 | - |
dc.type.rims | ART | - |
dc.citation.volume | 23 | - |
dc.citation.issue | 3 | - |
dc.citation.beginningpage | 872 | - |
dc.citation.endingpage | 875 | - |
dc.citation.publicationname | IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS | - |
dc.embargo.liftdate | 9999-12-31 | - |
dc.embargo.terms | 9999-12-31 | - |
dc.contributor.localauthor | Lee, Kwang-Hyung | - |
dc.contributor.nonIdAuthor | FAVREL, J | - |
dc.type.journalArticle | Letter | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.