Fan, W. and Weinstein, S. "Specifying and Reasoning About Workflows with Path Constraints". In Proceedings of the 5th International Computer Science Conference(ICSC'99), HongKong, China, volume 1749 of Lecture Notes in Computer Science. Springer, Dec. 13-15 1999. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
On The Use of Petri Nets for Business Process Modeling - Sivaraman, Kamath (1 citation) (Correct)
....There are two approaches to ensuring correct models (i) build it correctly, or (ii) check it completely. The former relies on strict grammatical rules that govern the composition of the various elements in the model, and this is the basis of the model theoretic event algebras designed by [22, 8], which may not be very suitable for practical implementation in industry. The latter, on the contrary, is more appealing, both in allowing the user tremendous flexibility in expressing process requirements, and in o#ering interesting analysis challenges to the modeler. These are the ....
Fan, W. and Weinstein, S. "Specifying and Reasoning About Workflows with Path Constraints". In Proceedings of the 5th International Computer Science Conference(ICSC'99), HongKong, China, volume 1749 of Lecture Notes in Computer Science. Springer, Dec. 13-15 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC