Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
Numerical Analysis of Superposed GSPNs
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
IEEE Transactions on Software Engineering
Static Analysis and Dynamic Steering of Time-Dependent Systems
IEEE Transactions on Software Engineering
Hierarchical Reachability Graph Generation for Petri Nets
Formal Methods in System Design
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
IEEE Transactions on Software Engineering
The Challenge of Object Orientation for the Analysis of Concurrent Systems
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Parametric stochastic well-formed nets and compositional modelling
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Model checking safety properties in modular high-level nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
| Hi-index | 0.00 |