Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
Property-preserving subnet reductions for designing manufacturing systems with shared resources
Theoretical Computer Science
Refining and verifying regular Petri nets
International Journal of Systems Science
Soundness-preserving refinements of service compositions
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Perceived consistency between process models
Information Systems
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
| Hi-index | 0.00 |