Process algebra
Free choice Petri nets
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Component-based software architectures: a framework based on inheritance of behavior
Science of Computer Programming
Sap R/3 Process Oriented Implementation
Sap R/3 Process Oriented Implementation
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Distributed electronic trade scenarios: representation, design, prototyping
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
Woflan 2.0: a Petri-net-based workflow diagnosis tool
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Making Work Flow: On the Application of Petri Nets to Business Process Management
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
APROMORE: An advanced process model repository
Expert Systems with Applications: An International Journal
| Hi-index | 0.00 |
The behavioral-inheritance relations of [7,8] can be used to compare the life cycles of objects defined in terms of Petri nets. They yield partial orders on object life cycles (OLCs). Based on these orders, we define concepts such as the greatest common divisor and the least common multiple of a set of OLCs. These concepts have practical relevance: In component-based design, workflow management, ERP reference models, and electronic-trade procedures, there is a constant need for identifying commonalities and differences in OLCs. Our results provide the theoretical basis for comparing, customizing, and unifying OLCs.