F
Frank DiCesare
Researcher at Rensselaer Polytechnic Institute
Publications - 80
Citations - 4448
Frank DiCesare is an academic researcher from Rensselaer Polytechnic Institute. The author has contributed to research in topics: Petri net & Process architecture. The author has an hindex of 30, co-authored 80 publications receiving 4371 citations. Previous affiliations of Frank DiCesare include New Jersey Institute of Technology.
Papers
More filters
Book
Petri Net Synthesis for Discrete Event Control of Manufacturing Systems
MengChu Zhou,Frank DiCesare +1 more
TL;DR: This paper presents a meta-synthesis of Petri Nets using FMS as a guide for the construction of parallel Mutual Exclusions in response to the challenge of discrete event control of FMS.
Journal ArticleDOI
A hybrid methodology for synthesis of Petri net models for manufacturing systems
TL;DR: Petri nets are synthesized by first refining operation places through basic design modules in top-down modular ways, then adding nonshared resource places stepwise, and finally adding shared resources places step by step in a bottom-up manner.
Journal ArticleDOI
Scheduling flexible manufacturing systems using Petri nets and heuristic search
Doo Yong Lee,Frank DiCesare +1 more
TL;DR: Petri net modeling combined with heuristic search provides a new scheduling method for flexible manufacturing systems that can handle features such as routing flexibility, shared resources, lot sizes and concurrency.
Proceedings ArticleDOI
Generalized mutual exclusion contraints on nets with uncontrollable transitions
TL;DR: For some classes of nets, the authors prove that generalized mutual exclusion constraints may always be enforced by monitors, even in the presence of uncontrollable transitions.
Journal ArticleDOI
Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources
MengChu Zhou,Frank DiCesare +1 more
TL;DR: A theoretical basis for Petri net synthesis methods is provided that can be used to model systems with shared resources, and to make the resulting nets bounded, live, and reversible.