REPRESENTATION OF NONSTRUCTURED CONCURRENCY BY PETRI-NET LANGUAGES

Cited 2 time in webofscience Cited 0 time in scopus
  • Hit : 302
  • Download : 546
DC FieldValueLanguage
dc.contributor.authorLee, Kwang-Hyungko
dc.contributor.authorFAVREL, Jko
dc.date.accessioned2010-05-19T06:56:41Z-
dc.date.available2010-05-19T06:56:41Z-
dc.date.created2012-02-06-
dc.date.created2012-02-06-
dc.date.issued1993-
dc.identifier.citationIEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, v.23, no.3, pp.872 - 875-
dc.identifier.issn0018-9472-
dc.identifier.urihttp://hdl.handle.net/10203/18481-
dc.description.abstractThe 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.languageEnglish-
dc.language.isoen_USen
dc.publisherIEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC-
dc.titleREPRESENTATION OF NONSTRUCTURED CONCURRENCY BY PETRI-NET LANGUAGES-
dc.typeArticle-
dc.identifier.wosidA1993MF08900020-
dc.type.rimsART-
dc.citation.volume23-
dc.citation.issue3-
dc.citation.beginningpage872-
dc.citation.endingpage875-
dc.citation.publicationnameIEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS-
dc.embargo.liftdate9999-12-31-
dc.embargo.terms9999-12-31-
dc.contributor.localauthorLee, Kwang-Hyung-
dc.contributor.nonIdAuthorFAVREL, J-
dc.type.journalArticleLetter-
Appears in Collection
BiS-Journal Papers(저널논문)
Files in This Item
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 2 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0