Information system behavior specification by high level Petri nets
ACM Transactions on Information Systems (TOIS)
From Centralized Workflow Specification to Distributed WorkflowExecution
Journal of Intelligent Information Systems - Special issue on workflow management systems
A component-based Petri net model for specifying and validating cooperative information systems
Data & Knowledge Engineering
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Metadata and Cooperative Knowledge Management
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
INCOME2010 - a toolset for developing process-oriented information systems based on petri nets
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Deliberation in a modeling and simulation environment for inter-organizational networks
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Towards quality-aware development and evolution of enterprise information systems
Proceedings of the 2010 ACM Symposium on Applied Computing
Controlling Petri net process models
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
| Hi-index | 0.00 |