Yayın:
Supervisory Controller Design to Enforce Some Basic Properties in Timed Petri Nets

Sadeleştirilmiş öğe sayfası
dc.contributor.authorAybar, Aydın
dc.contributor.authorİftar, Altuğ
dc.contributor.orcid0000-0001-6114-9894
dc.date.accessioned2025-11-13T12:15:50Z
dc.date.issued2009-01-01
dc.identifier.doihttps://doi.org/10.3182/20090603-3-ru-2001.0319
dc.identifier.endpage941
dc.identifier.issn1474-6670
dc.identifier.issue4
dc.identifier.openalexW1968206019
dc.identifier.startpage936
dc.identifier.urihttps://hdl.handle.net/11421/9480
dc.identifier.urihttps://doi.org/10.3182/20090603-3-ru-2001.0319
dc.identifier.volume42
dc.language.isoen
dc.relation.ispartofIFAC Proceedings Volumes
dc.rightsrestrictedAccess
dc.subjectLiveness
dc.subjectPetri net
dc.subjectSupervisory control
dc.subjectController (irrigation)
dc.subjectControl theory (sociology)
dc.subjectComputer science
dc.subjectState (computer science)
dc.subjectStochastic Petri net
dc.subjectControl engineering
dc.subjectControl (management)
dc.subjectDistributed computing
dc.subjectEngineering
dc.subjectAlgorithm
dc.subjectArtificial intelligence
dc.titleSupervisory Controller Design to Enforce Some Basic Properties in Timed Petri Nets
dc.typeArticle
dspace.entity.typePublication
local.authorid.openalexA5041265643
local.authorid.openalexA5111638525

Dosyalar

Koleksiyonlar

Publications