 | 1994 |
|---|
| 10 |       | Robert M. Shapiro:
Integrating BPR with image-based work flow.
Winter Simulation Conference 1994: 1221-1228 |
| 1993 |
|---|
| 9 |  | Jawahar Malhotra,
Robert M. Shapiro:
Generating an Algorithm for Executing Graphical Models.
Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 71-83 |
| 8 | | Robert M. Shapiro,
Valerio O. Pinci,
Roberto Mameli:
Modeling an NORAD Command Post Using SADT and Colored Petri Nets.
Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 84-107 |
| 7 | | Valerio O. Pinci,
Robert M. Shapiro:
Work flow analysis.
Winter Simulation Conference 1993: 1122-1130 |
| 1992 |
|---|
| 6 | | Hartmann J. Genrich,
Robert M. Shapiro:
Formal Verification of an Arbiter Cascade.
Application and Theory of Petri Nets 1992: 205-223 |
| 1990 |
|---|
| 5 | | Valerio O. Pinci,
Robert M. Shapiro:
An integrated software development methodology based on hierarchical colored Petri Nets.
Applications and Theory of Petri Nets 1990: 227-252 |
| 1989 |
|---|
| 4 | | Peter Huber,
Kurt Jensen,
Robert M. Shapiro:
Hierarchies in coloured Petri nets.
Applications and Theory of Petri Nets 1989: 313-341 |
| 1988 |
|---|
| 3 | | Jawahar Malhotra,
Robert M. Shapiro,
Scott A. Smolka,
Alessandro Giacalone:
Winston: A Toll for Hierarchical Design and Simulation of Concurrent Systems.
Specification and Verification of Concurrent Systems 1988: 140-152 |
| 1982 |
|---|
| 2 | | Hartmann J. Genrich,
Robert M. Shapiro:
A Diagram Editor for Line Drawings with Inscriptions.
European Workshop on Applications and Theory of Petri Nets 1982: 112-131 |
| 1975 |
|---|
| 1 | | Robert M. Shapiro:
The Application of General Net Theory - A Personal History.
Advanced Course: Net Theory and Applications 1975: 401-440 |
