For the most recent entries see the Petri Nets Newsletter.

Recovery and Reset in Object Petri Net with Process Markings.

Farwer, Berndt

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography