Time processes for time Petri nets, Proc. of 18th International Conference ICATPN '97, pp.136-155, 1997. ,
DOI : 10.1007/3-540-63139-9_34
URL : http://research.microsoft.com/users/tuomaura/Publications/HUT-TCS-A38.ps
Nonsequential Processes -A Petri Net View, EATCS Monographs on Theoretical Computer Science, vol.13, 1988. ,
Petri nets with causal time for system verification, Electronic Notes in Theoretical Computer Science, vol.68, issue.5, pp.85-100, 2002. ,
DOI : 10.1016/S1571-0661(04)80521-8
URL : https://hal.archives-ouvertes.fr/hal-00114682
Sequential and concurrent behaviour in Petri net theory, Theoretical Computer Science, vol.55, issue.1, pp.87-136, 1987. ,
DOI : 10.1016/0304-3975(87)90090-9
URL : https://doi.org/10.1016/0304-3975(87)90090-9
Hierarchical Timed High Level Nets and Their Branching Processes, Proc. of 26th International Conference ICATPN'03, pp.397-416, 2003. ,
DOI : 10.1007/3-540-44919-1_25
The non-sequential behaviour of Petri nets, Information and Control, vol.57, issue.2-3, pp.125-147, 1983. ,
DOI : 10.1016/S0019-9958(83)80040-0
URL : https://doi.org/10.1016/s0019-9958(83)80040-0
A Study of the Recoverability of Communication Protocols, 1974. ,
Interval-timed petri nets with auto-concurrent semantics and their state equation, Proc. of International Workshop on Petri Nets and Software Engineering (PNSE'15), CEUR Workshop, pp.245-265, 2015. ,
Fundamentals of a Theory of Asynchronous Information Flow, IFIP Congress, 1962. ,
Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, 1974. ,
Processes in Petri nets, Elektronische Informationsverarbeitung und Kybernetik, vol.17, issue.89, pp.389-416, 1981. ,
DOI : 10.1007/3-540-10854-8_39
Timed processes of Timed Petri Nets, Proc. of 16th International Conference, ICATPN '95, pp.490-509, 1995. ,
DOI : 10.1007/3-540-60029-9_56
Algebras of processes of timed petri nets, Proc. of 5th International Conference CONCUR '94, pp.194-209, 1994. ,
DOI : 10.1007/bfb0015010