Nabil R. Adam, Vijayalakshmi Atluri, and Wei-Kuang Huang. Modeling and Analysis of Workflows Using Petri Nets. Technical report, CIMIC, Rutgers University, 1997.
Vijayalakshmi Atluri and Wei-Kuang Huang. An Authorization Model for Workflows. In Lecture Notes in Computer Science, Springer-Verlag, No.1146
, pages 44–64, September 1996.Google Scholar
Vijayalakshmi Atluri and Wei-Kuang Huang. An Extended Petri Net Model for Supporting Workflows in a Multilevel Secure Environment. In Proc. of the 10th IFIP WG 11.3 Working Conference on Database Security, July 1996.
Paul C. Attie, Munindar P. Singh, Amit Sheth, and Marek Rusinkiewicz. Specifying and enforcing intertask dependencies. In Proc. 19th Int'l. Conf. on Very Large Data Bases, pages 134–145, Dublin, Ireland, 1993.
Bernard Berthomieu and Michel Diaz. Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Transactions on Software Engineering
, 17(3):259–273, March 1991.Google Scholar
T.O. Boucher and M.A. Jafari. Feasibility of Integrating IDEF Methodology with testing of System Dynamics. Technical Report STP#24, Rutgers University, The Center for Advanced Food Technology, New Brunswick, NJ, July 1996.Google Scholar
P.K. Chrysanthis. ACTA, A framework for modeling and reasoning about extended transactions
. PhD thesis, Department of Computer and Information Science, University of Massachusetts, Amherst, 1991.Google Scholar
Rene David and Hassane Alla. Petri Nets and Grafcet-Tools for modeling discrete event systems. Prentice Hall, 1992.
Alan A. Desrochers and Robert Y. Al-Jaar. Applications of Petri Nets in Manufacturing Systems-Modeling, Control, and performance Analysis
. IEEE Control Systems Society Press, New York, NY, 1995.Google Scholar
A. K. Elmagarmid, Y. Leu, W. Litwin, and M. Rusinkiewicz. A Multidatabase Transaction Model for InterBase. In Proc. 16th Int'l. Conf. on Very Large Data Bases, pages 507–518, Briabane, Australia, August 1990.
Ahmed K. Elmagarmid. Database Transaction Models for Advanced Applications
. Morgan Kaufmann, San Mateo, California, 1992.Google Scholar
Dimitrios Georgakopoulos, Mark Hornick, and Amit Sheth. An Overview of Workflow Management: From Process Modeling toWorkflow Automation Infrastructure. Distributed and Parallel Databases, pages 119–153, 1995.
S. R. Kosaraju. Decidability and Reachability in Vector Addition Systems. In Proc. of the 14th ACM Symposium on Theory of Computing, pages 267–281, May 1982.
N. Krishnakumar and A. Sheth. Managing Heterogeneous Multi-sytem Tasks to Support Enterprise-wide Operations. Distributed and Parallel Databases, 3(2), April 1995.
Tadao Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE
, 77(4):541–580, April 1989.Google Scholar
Marek Rusinkiewicz and Amit Sheth. Specification and Execution of Transactional Workflows. In W. Kim, editor, Modern Database Systems: The Object Model, Interoperability, and Beyond. Addison-Wesley, 1994.
Marek Rusinkiewicz, Amit Sheth, and George Karabatis. Specifying Interdatabase Dependencies in a Multi-database Environment. IEEE Computer
, 24(12):46–53, December 1991.Google Scholar
Amit Sheth, Dimitrios Georgakopoulos, Stef M.M Joosten, Marek Rusinkiewicz, Walt Scacchi, Jack Wileden, and Alexander Wolf. Report from the NSF Workshop on Workflow and Process Automation in Information Systems. Computer Science Department Technical Report UGA-CS-TR-96-003, University of Georgia, Athens, Georgia, October 1996.Google Scholar
Munindar P. Singh, Greg Meredith, Christine Tomlinson, and Paul C. Attie. An Event Algebra for Specifying and Scheduling Workflows. In Tok Wang Ling and Yoshifumi Masunaga, editors, Proc. Fourth International Conference on Database Systems for Advanced Applications, Singapore, pages 53–60. World Scientific, 1995.
J J. P. Tsai, S. J. Yang, and Y. Chang. Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications. IEEE Transactions on Software Engineering
, 21(1):32–49, January 1995.Google Scholar
W.M.P. van der Aalst. A Class of Petri Net for Modeling and Analyzing Business Processes. Computer science report, Eindhoven University of Technology, Eindhoven, 1995.Google Scholar
W.M.P. van der Aalst. Petri-net-based Workflow Management Software. In NSF Workshop on Workflow and Process Automation in Information Systems: State-of-the-Art and Future Directions, May 1996.
D. Wodtke and G. Weikum. A Formal Foundation For Distributed Workflow Execution Based on State Charts. In Proc. International Conference on Database Theory, Delphi, Greece, January 1997.
D. Wodtke, J. Weissenfels, G. Weikum, and A. Kotz-Dittrich. The Mentor Project: Steps Towards Enterprise-Wide Workflow Management. In Proc. of the 12th IEEE International Conference on Data Engineering, New Orleans, LA, March 1996.