A notation for malleable and interoperable coordination mechanisms for CSCW systems
COCS '95 Proceedings of conference on Organizational computing systems
Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
CLOWN as a testbed for concurrent object-oriented concepts
Concurrent object-oriented programming and petri nets
Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems
Programming and Computing Software
On Semantics of Petri Nets over Partial Algebra
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
Parameterized Net Classes: A Uniform Approach to Petri Net Classes
Unifying Petri Nets, Advances in Petri Nets
Techniques for Modeling Workflows and Their Support of Reuse
Business Process Management, Models, Techniques, and Empirical Studies
Modeling of discrete event systems: A holistic and incremental approach using Petri nets
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Hierarchical Classifiers for Complex Spatio-temporal Concepts
Transactions on Rough Sets IX
Stably computable properties of network graphs
DCOSS'05 Proceedings of the First IEEE international conference on Distributed Computing in Sensor Systems
Formal Methods in Software and Systems Modeling
Under-Approximating cut sets for reachability in large scale automata networks
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
| Hi-index | 0.00 |