For the most recent entries see the
Petri Nets Newsletter
.
Keyword: reversibility
Jeng, M.D.
:
Petri nets for modeling automated manufacturing systems with error recovery.
1997.
Miyamoto, T.
;
Kumagai, S.
:
Reversibility Verification of Petri Nets Using Unfoldings.
1997.
Zhou, MengChu
;
DiCesare, Frank
:
Parallel and Sequential Mutual Exclusions for Petri Net Modeling of Manufacturing Systems with Shared Resources.
1991.
Zhou, MengChu
;
DiCesare, Frank
:
A Petri Net Design Method for Automated Manufacturing Systems with Shared Resources.
1990.
Zhou, MengChu
;
DiCesare, Frank
:
Modeling Buffers in Automated Manufacturing Systems Using Petri Nets.
1990.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography