For the most recent entries see the Petri Nets Newsletter.

The simple control property of business process models.

Straub, Pablo; Hurtado, Carlos A.

In: XV International Conference of the Chilean Computer Science Society, Arica, Chile., pages -. October 1995.

Abstract: This paper presents a set of desirable properties for process models in short form. It then presents a theory of threads of control in compact form and relates this theory to place invariants. (We have discovered a few typos in the full paper.). It shows that the main property, simple control, is closely related to the boundedness and liveness of a strongly connected free-choice Petri net.

Keywords: free-choice petri nets control properties workflow behavior.


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

Back to the Petri Nets Bibliography