Hierarchical Timed High Level Nets and Their Branching Processes, Proceedings of ICATPN'03, pp.397-416, 2003. ,
DOI : 10.1007/3-540-44919-1_25
Worst-case Analysis of Concurrent Systems with Duration Interval Petri Nets, Proceedings of 5. Fachtagung Entwurf komplexer Automatisierungssysteme, 1997. ,
A Study of the Recoverability of Communication Protocols, 1974. ,
Fundamentals of a Theory of Asynchronous Information Flow, IFIP Congress, 1962. ,
On Time Petri Nets, J. Inform. Process. Cybern. EIK, vol.274, 1991. ,
Time and Petri Nets, 2013. ,
Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays, Fundamenta Informaticae, vol.120, issue.3-4, pp.341-357, 2012. ,
Using State-equation to Prove Nonreachability in Timed Petrinets, Fundamenta Informaticae (FI), vol.61, issue.55, pp.187-202, 2003. ,
Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, 1974. ,
Use of petri nets for performance evaluation, Proceedings of the Third International Symposium on Measuring, Modelling and Evaluating Computer Systems, pp.75-93, 1977. ,
Interval Timed Coloured Petri Nets and their Analysis In Application and Theory of Petri Nets, 14th International Conference, 1993. ,
A Holistic State Equation for Timed Petri Nets, Fundamenta Informaticae, vol.133, issue.2-3, pp.305-322, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01667554