The following pages link to Aydın Aybar (Q665121):
Displaying 9 items.
- Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching (Q665122) (← links)
- (Q3431425) (← links)
- (Q3621937) (← links)
- Decentralized supervisory controller design to avoid deadlock in Petri nets (Q4459054) (← links)
- (Q4824528) (← links)
- (Q4904496) (← links)
- Overlapping decompositions and expansions of Petri nets (Q5267235) (← links)
- (Q5440846) (← links)
- Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets (Q5460613) (← links)
