Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
Deriving protocol specifications from service specifications written as predicate/transition-nets
Computer Networks: The International Journal of Computer and Telecommunications Networking
An integrated tool for development of overlay services
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
The BRITNeY suite animation tool
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Model-Based prototyping of an interoperability protocol for mobile ad-hoc networks
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
| Hi-index | 0.00 |