A notation for malleable and interoperable coordination mechanisms for CSCW systems
COCS '95 Proceedings of conference on Organizational computing systems
Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings
Formal Methods in System Design
CLOWN as a testbed for concurrent object-oriented concepts
Concurrent object-oriented programming and petri nets
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems
Programming and Computing Software
Hierarchical Reachability Graph Generation for Petri Nets
Formal Methods in System Design
A generic causal model for place latency
Theoretical Computer Science
Modular State Level Analysis of Distributed Systems Techniques and Tool Support
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Iterative Decomposition and Aggregation of Labeled GSPNs
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Behavioural subtyping and property preservation for active objects
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Exploiting Stochastic Process Algebra Achievements for Generalized Stochastic Petri Nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Business-to-business workflow interoperation based on process-views
Decision Support Systems
On Compatibility and Behavioural Substitutability of Component Protocols
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Transition systems, link graphs and Petri nets
Mathematical Structures in Computer Science
Quantifying process equivalence based on observed behavior
Data & Knowledge Engineering
On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Reducing k-safe Petri nets to pomset-equivalent 1-safe Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Behavior consistent inheritance in UML
ER'00 Proceedings of the 19th international conference on Conceptual modeling
A behavioural congruence for web services
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Verifying workflow processes: a transformation-based approach
Software and Systems Modeling (SoSyM)
Perceived consistency between process models
Information Systems
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Process equivalence: comparing two process models based on observed behavior
BPM'06 Proceedings of the 4th international conference on Business Process Management
Efficient computation of causal behavioural profiles using structural decomposition
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Petri nets for protocol engineering
Computer Communications
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Isotactics as a foundation for alignment and abstraction of behavioral models
BPM'12 Proceedings of the 10th international conference on Business Process Management
Hi-index | 0.00 |