In: Concurrency, Specification and Programming CS&P'2006, Vol. 1: Concurrency. Informatik-Bericht Nr. 206 der Humbold-Universität zu Berlin, Eds.: G. Lindemann, H. Schlingloff., pages 47-57. September 06.
Abstract: Theories of recovery and reset for a class of Petri nets known as workflow nets exist in the literature. The objective of this paper is to provide means of error recovery for a more general class of high-level Petri nets that follow the nets-within-nets paradigm, i.e. object Petri nets. We extend the idea of using net processes as markings with the existence of adequate upper or lower bounds as constraints for executing (system net) transitions.