Object-oriented modeling: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Inheritance of dynamic behavior
Concurrent object-oriented programming and petri nets
Simulating and Analyzing Railway Interlockings in ExSpect
IEEE Parallel & Distributed Technology: Systems & Technology
Business Modelling Is Not Process Modelling
ER '00 Proceedings of the Workshops on Conceptual Modeling Approaches for E-Business and The World Wide Web and Conceptual Modeling: Conceptual Modeling for E-Business and the Web
Using Formal Analysis Techniques in Business Process Redesign
Business Process Management, Models, Techniques, and Empirical Studies
An Analysis of the Design Constructs Required in Process Modelling
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Framework for business process redesign
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
Consistency in model integration
Data & Knowledge Engineering - Special issue: Business process management
YAWL: yet another workflow language
Information Systems
Operational semantics for Petri net components
Theoretical Computer Science
Journal of Management Information Systems
A multi-level model-driven regime for value-added tax compliance in ERP systems
Computers in Industry
ExSpect 6.4: an executable specification tool for hierarchical colored Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
BPM'03 Proceedings of the 2003 international conference on Business process management
Design and control of workflow processes: business process management for the service industry
Design and control of workflow processes: business process management for the service industry
Vicinity respecting homomorphisms for abstracting system requirements
Transactions on Petri nets and other models of concurrency IV
On-the-fly auditing of business processes
Transactions on Petri nets and other models of concurrency IV
| Hi-index | 0.00 |