Brian Kirk;Libero Nigro;Francesco Pupo
-;-;-
Schedulability analysis of real time actor systems using coloured petri nets
Concurrent object-oriented programming and petri nets
Towards reusable real-time objects
Annals of Software Engineering
Distributed Simulation of Timed Petri Nets: A Modular Approach Using Actors and Time Warp
IEEE Concurrency