dc.contributor.author | Aybar, Aydın | |
dc.contributor.author | İftar, Altuğ | |
dc.date.accessioned | 2019-10-21T20:41:06Z | |
dc.date.available | 2019-10-21T20:41:06Z | |
dc.date.issued | 2009 | |
dc.identifier.isbn | 9783902661692 | |
dc.identifier.issn | 1474-6670 | |
dc.identifier.uri | https://hdl.handle.net/11421/20659 | |
dc.identifier.uri | https://dx.doi.org/10.3182/20091006-3-ES-4010.00015 | en_US |
dc.description | Int. Fed. Autom. Control (IFAC) - Tech. Comm.;Comput. Control;Int. Fed. Autom. Control (IFAC) - Tech. Comm.;Discrete Event Hybrid Syst.;Technical Committe 2.1 on Control Design;Technical Committe 3.2 on Computational Intelligence in Control | en_US |
dc.description | 4th IFAC Workshop on Discrete-Event System Design, DESDes'09 -- 6 October 2009 through 8 October 2009 -- Gandia -- 85833 | en_US |
dc.description.abstract | Unlike untimed Petri nets, representation of the state of a timed Petri net and describing its evolution is not an easy task. Here, an approach, called place-stretching, is introduced to represent the state of a timed-place Petri net. This approach also facilitates the description of the evolution of the state of a timed-place Petri net. An algorithm, which uses this approach, to construct the reachability set of a timed-place Petri net is also developed. An example is also presented to demonstrate the introduced approach and the usage of the developed algorithm. | en_US |
dc.language.iso | eng | en_US |
dc.relation.isversionof | 10.3182/20091006-3-ES-4010.00015 | en_US |
dc.rights | info:eu-repo/semantics/closedAccess | en_US |
dc.subject | Petri Nets | en_US |
dc.subject | Reachability Set | en_US |
dc.subject | Stretching | en_US |
dc.subject | Time-Delay | en_US |
dc.subject | Timed-Place Petri Nets | en_US |
dc.title | Representation of the state of timed-place Petri nets using stretching | en_US |
dc.type | conferenceObject | en_US |
dc.relation.journal | IFAC Proceedings Volumes (IFAC-PapersOnline) | en_US |
dc.contributor.department | Anadolu Üniversitesi, Mühendislik Fakültesi, Elektrik ve Elektronik Mühendisliği Bölümü | en_US |
dc.identifier.volume | 4 | en_US |
dc.identifier.issue | PART 1 | en_US |
dc.identifier.startpage | 72 | en_US |
dc.identifier.endpage | 77 | en_US |
dc.relation.publicationcategory | Konferans Öğesi - Uluslararası - Kurum Öğretim Elemanı | en_US] |
dc.contributor.institutionauthor | Aybar, Aydın | |
dc.contributor.institutionauthor | İftar, Altuğ | |