| Discovery of Business Processes based on Behavioral Descriptions | 0 | 0.34 | 2009 |
| Symbolic Analysis of the Behavior of Semantic Business Processes | 1 | 0.37 | 2009 |
| A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems | 30 | 1.37 | 2005 |
| Petri Nets and Manufacturing Systems: An Examples-Driven Tour | 10 | 0.70 | 2003 |
| Some Improvements to the Banker s Algorithm Based on the Process Structure | 2 | 0.56 | 2000 |
| Synthesis of Live Models for a Class of FMS Systems | 0 | 0.34 | 1993 |
