Concurrent bisimulations in Petri nets
Acta Informatica
A survey of behaviour and equivalence preserving refinements of Petri nets
APN 90 Proceedings on Advances in Petri nets 1990
The linear time-branching time spectrum (extended abstract)
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Free choice Petri nets
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
A Calculus of Communicating Systems
A Calculus of Communicating Systems
The Linear Time - Branching Time Spectrum II
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
A survey of equivalence notions for net based systems
Advances in Petri Nets 1992, The DEMON Project
Checking properties of nets using transformation
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
Ontology Evolution: Not the Same as Schema Evolution
Knowledge and Information Systems
When are two workflows the same?
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Ontology Matching
Validation of mappings between schemas
Data & Knowledge Engineering
Process Model Abstraction: A Slider Approach
EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
Petri Net Transformations for Business Processes --- A Survey
Transactions on Petri Nets and Other Models of Concurrency II
The Triconnected Abstraction of Process Models
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Granularity as a Cognitive Factor in the Effectiveness of Business Process Model Reuse
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Aligning Business Process Models
EDOC '09 Proceedings of the 2009 IEEE International Enterprise Distributed Object Computing Conference (edoc 2009)
Deciding behaviour compatibility of complex correspondences between process models
BPM'10 Proceedings of the 8th international conference on Business process management
The ICoP Framework: identification of correspondences between process models
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Simplified computation and generalization of the refined process structure tree
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Hi-index | 0.00 |
There are many use cases in business process management that require the comparison of behavioral models. For instance, verifying equivalence is the basis for assessing whether a technical workflow correctly implements a business process, or whether a process realization conforms to a reference process. This paper proposes an equivalence relation for models that describe behaviors based on the concurrency semantics of net theory and for which an alignment relation has been defined. This equivalence, called isotactics, preserves the level of concurrency of aligned operations. Furthermore, we elaborate on the conditions under which an alignment relation can be classified as an abstraction. Finally, we show that alignment relations induced by structural refinements of behavioral models are indeed behavioral abstractions.