Yayın: Supervisory Controller Design to Enforce Basic Properties in Timed-Place Petri Nets
| dc.contributor.author | Aybar, Aydın | |
| dc.contributor.author | İftar, Altuğ | |
| dc.contributor.orcid | 0000-0001-6114-9894 | |
| dc.date.accessioned | 2025-11-13T12:19:43Z | |
| dc.date.issued | 2013-09-01 | |
| dc.identifier.doi | https://doi.org/10.3182/20130911-3-br-3021.00018 | |
| dc.identifier.endpage | 492 | |
| dc.identifier.issn | 1474-6670 | |
| dc.identifier.issue | 24 | |
| dc.identifier.openalex | W2062569908 | |
| dc.identifier.startpage | 486 | |
| dc.identifier.uri | https://hdl.handle.net/11421/9689 | |
| dc.identifier.uri | https://doi.org/10.3182/20130911-3-br-3021.00018 | |
| dc.identifier.volume | 46 | |
| dc.language.iso | en | |
| dc.relation.ispartof | IFAC Proceedings Volumes | |
| dc.rights | restrictedAccess | |
| dc.subject | Liveness | |
| dc.subject | Petri net | |
| dc.subject | Supervisory control | |
| dc.subject | Controller (irrigation) | |
| dc.subject | Control theory (sociology) | |
| dc.subject | Set (abstract data type) | |
| dc.subject | Computer science | |
| dc.subject | Event (particle physics) | |
| dc.subject | Stochastic Petri net | |
| dc.subject | Distributed computing | |
| dc.subject | Control engineering | |
| dc.subject | Control (management) | |
| dc.subject | Engineering | |
| dc.subject | Programming language | |
| dc.subject | Artificial intelligence | |
| dc.title | Supervisory Controller Design to Enforce Basic Properties in Timed-Place Petri Nets | |
| dc.type | Article | |
| dspace.entity.type | Publication | |
| local.authorid.openalex | A5041265643 | |
| local.authorid.openalex | A5111638525 |
