Yayın:
Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching

Sadeleştirilmiş öğe sayfası
dc.contributor.authorAybar, Aydın
dc.contributor.authorİftar, Altuğ
dc.contributor.orcid0000-0001-6114-9894
dc.date.accessioned2025-11-13T11:18:07Z
dc.date.issued2011-08-29
dc.identifier.doi10.1016/j.nahs.2011.07.002
dc.identifier.endpage729
dc.identifier.issn1751-570X
dc.identifier.issue1
dc.identifier.openalexW2011124896
dc.identifier.startpage712
dc.identifier.urihttps://hdl.handle.net/11421/6354
dc.identifier.urihttps://doi.org/10.1016/j.nahs.2011.07.002
dc.identifier.volume6
dc.language.isoen
dc.relation.ispartofNonlinear Analysis Hybrid Systems
dc.rightsrestrictedAccess
dc.subjectLiveness
dc.subjectPetri net
dc.subjectController (irrigation)
dc.subjectControl theory (sociology)
dc.subjectSupervisory control
dc.subjectSet (abstract data type)
dc.subjectComputer science
dc.subjectState (computer science)
dc.subjectControl (management)
dc.subjectDistributed computing
dc.subjectAlgorithm
dc.subjectArtificial intelligence
dc.subjectProgramming language
dc.subject.sdg16
dc.titleSupervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching
dc.typeArticle
dspace.entity.typePublication
local.authorid.openalexA5041265643
local.authorid.openalexA5111638525

Dosyalar

Koleksiyonlar

Publications