Modeling and Analysis of Workflows Using Petri Nets

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

Engineering, Computer Engineering, Computer Science +15

An overview of workflow management: From process modeling to workflow automation infrastructure

Mark F. Hornick, Amit Sheth · Distributed and Parallel Databases · 1995 · 1.5K citations · Full text

Business, Information Systems, Management Information Systems +14

Modeling and verification of time dependent systems using time Petri nets

Bernard Berthomieu, M. Díaz · IEEE Transactions on Software Engineering · 1991 · 1.1K citations

Computing, Computer Engineering, Computer Science +17

Decidability of reachability in vector addition systems (Preliminary Version)

S. Rao Kosaraju · 1982 · 323 citations

Computing, Computer Science, Mathematics +7

A multidatabase transaction model for InterBase

Ahmed K. Elmagarmid, Yungho Leu, Witold Litwin et al. · Purdue e-Pubs (Purdue University System) · 1990 · 209 citations · Full text

Computing, Computer Science, Data Management +15