H. Klaudel, F. Pommereau, H. Klaudel, F. Pommereau, H. Klaudel et al., FIFO buffers in tie sauce. DAPSYS'00 A concurrent and compositional Petri net semantics of preemption. IFM'00, LNCS 1945 A concurrent semantics of static exceptions in a parallel programming language. ICATPN'01, LNCS 2075 A class of composable and preemptible highlevel Petri nets with an application to multi-tasking systems Petri nets with causal time for system verification, Bibliographie Mes publications [1] H. Klaudel et F. Pommereau. Asynchronous links in the PBC and M-nets. ASIAN'99 Koutny et F. Pommereau. An Algebra of Nonsafe Petri Boxes. AMAST'02 Autres publications [AM96] L. Aceto et D. Murphy. Timing and causality in process algebra. Acta Informatica, p.2, 1996.

D. [. Alur and . Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, 1994.

+. Alu, ]. R. Alur, C. Courcoubetis, and D. Dill, Model-checking in dense real-time. Information and Computation, 1993.

J. [. Baeten and . Bergstra, Real time process algebra, Formal Aspects of Computing, vol.58, issue.2, 1991.
DOI : 10.1007/BF01898401

+. Benv, ]. A. Benveniste, P. L. Guernic, and C. Jacquemot, Synchronous programming with events and relations: the Signal language and its semantics, Science of Computer Programming, vol.16, issue.2, 1991.

+. Ben, ]. V. Benzaken, N. Hugon, H. Klaudel, E. Pelz et al., M-net based semantics for triggers, ICATPN'98, 1998.

J. [. Bergstra and . Klop, Process theory based on bisimulation semantics . Linear time, branching time and partial orders in logic and models for concurrency, LNCS, vol.354, 1989.

]. G. Ber93 and . Berry, Preemption in concurrent systems, FSTTCS'93, 1993.

]. G. Ber98 and . Berry, The foundations of Esterel. Language and Interaction: Essays in Honour of Robin Milner, 1998.

]. E. Bes96 and . Best, Semantics of sequential and parallel programs, 1996.

]. E. Bes97 and . Best, A memory module specification using composable high-level Petri nets. Formal Systems Specifications, The RPC-Memory Specification Case Study, LNCS 1169, 1997.

R. [. Best and . Devillers, Sequential and concurrent behaviour in Petri net theory, Theoretical Computer Science, vol.55, issue.1, 1987.
DOI : 10.1016/0304-3975(87)90090-9

+. Bes, ]. E. Best, R. Devillers, and J. , Hall The Petri Box Calculus: a new causal algebra with multilabel communication Advances in Petri Nets, LNCS, vol.609, 1992.

+. Bes, ]. E. Best, R. Devillers, and M. Koutny, A unified model for nets and process algebras. Handbook of process algebra, 2001.

+. Bes, ]. E. Best, R. Devillers, and M. Koutny, Petri Net Algebra, EATCS Monographs on TCS, 2001.

C. [. Best and . Fernández, Non sequential processes, EATCS Monographs on Theoretical Computer Science, vol.13, 1988.

]. E. Best, W. Fr¸aczakfr¸aczak, R. P. Hopkins, H. Klaudel, and E. Pelz, M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages, Acta Informatica, vol.35, issue.10, p.35, 1998.
DOI : 10.1007/s002360050144

R. [. Best, Hopkins B(PN) 2 ? A basic Petri net programming notation, PARLE'93, p.170, 1993.

E. Best and M. Koutny, Petri net semantics of priority systems, Theoretical Computer Science, vol.96, issue.1, 1992.
DOI : 10.1016/0304-3975(92)90184-H

H. [. Best and . Wimmel, Reducing k-Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets, 2000.
DOI : 10.1007/3-540-44988-4_6

P. [. Bolognesi and . Cremonese, The weakness of some timed models for concurrent systems, CNUCE-CNR, 1989.

]. E. Bou98 and . Boufa¨?edboufa¨?ed, Machines d'exécution pour langages synchrones, Thèse de doctorat, 1998.

]. M. Boy01 and . Boyer, ContributionàContribution`Contributionà la modélisation des systèmessystèmes`systèmesà temps contraint et application au multimédia, Thèse de doctorat, 2001.

C. [. Brzozowski and . Seger, Advances in asynchronous circuit theory, Part II: Bounded inertial delay models, MOS circuits, design techniques, EACTS Bulletin, p.43, 1991.

+. Cas, ]. P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice, Lustre: a declarative language for programming synchronous systems. POPL'87, 1987.

]. A. Cer99, A. Cerone, and . Maggiolo-schettini, Time-based expressivity of time Petri nets for system specification, Theoretical Computer Science, vol.216, 1999.

+. Cla, ]. E. Clarke, E. A. Emerson, and A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal-logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, 1986.

+. Cla, ]. E. Clarke, O. Grumberg, and D. A. Peled, Model checking, 1999.

V. [. Cleaveland and . Natarajan, An algebraic theory of process efficiency. LICS'96, 1996.

A. [. Cleaveland and . Zwarico, A theory of testing for real-time. LICS'91, 1991.

N. [. Coholahan and . Roussopoulos, Timed requirements for timed driven systems using augmented Petri nets, IEEE Transactions in Software Engineering, vol.9, 1983.

]. J. Corb94 and . Corbett, Modeling and analysis of real-time Ada tasking programs. RTSS'94, 1994.

]. F. Cor98 and . Corradini, On performance congruences for process algebra. Information and Computation, 1998.

+. Cor, ]. F. Corradini, D. D-'ortenzio-et, and P. Inverardi, On the relationship among four timed process algebras, Fundamenta Informatica, vol.34, 1999.

+. Dev, ]. R. Devillers, H. Klaudel, and R. Riemann, General Refinement for High Level Petri Nets, FSTTCS'97, 1997.

+. Dev, ]. R. Devillers, H. Klaudel, and E. Pelz, An Algebraic Box Calculus, Journal of Automata, Languages and Combinatorics, vol.5, issue.2, 2000.

R. Devillers, H. Klaudel, and R. Riemann, General parameterised refinement and recursion for the M-net calculus, Theoretical Computer Science, vol.300, issue.1-3
DOI : 10.1016/S0304-3975(02)00088-9

URL : https://hal.archives-ouvertes.fr/hal-00005602

]. R. Dur91 and . Durchholz, Causality, time, and deadlines, Data & Knowledge Engineering, vol.6, 1991.

]. J. Esp94 and . Esparza, Model checking using net unfoldings, Science of Computer Programming, vol.23, 1994.

[. Ferrari and U. Montanari, Dynamic matrices and the cost analysis of concurrent programs, AMAST'95, 1995.
DOI : 10.1007/3-540-60043-4_61

B. [. Fleischhack and . Grahlmann, A Petri Net Semantics for B(PN) 2 with Procedures. Parallel and Distributed Software Engineering, 1997.

B. [. Fleischhack and . Grahlmann, A Compositional Petri Net Semantics for SDL. Application and Theory of Petri Nets, 1998.

E. [. Fleischhack and . Pelz, Partial order based model checking with data types. Logic Colloquium', 2000.

E. [. Fleischhack and . Pelz, Causal boxes and hierarcical time boxes, 2002.

I. [. Gerber and . Lee, A Resource-Based Prioritized Bisimulation for Real-Time Systems, Information and Computation, vol.113, issue.1, 1992.
DOI : 10.1006/inco.1994.1066

+. Gor, ]. R. Gorrieri, M. Roccetti, and M. Stancampiano, A theory of processes with durational actions, Theoretical Computer Science, vol.140, issue.1, 1995.

W. [. Goltz and . Reisig, The non-sequential behaviour of Petri nets, Information and Control, vol.57, issue.2-3, 1983.
DOI : 10.1016/S0019-9958(83)80040-0

J. Grabowski, On Partial Languages, Fundamenta Informaticae, vol.1, issue.4, 1981.

]. B. Gra95 and . Grahlmann, Verifying telecommunication protocols with PEP. RELEC- TRONIC'95, Scientific Society for Telecommunications, 1995.

B. Grahlmann and E. Best, PEP ? More than a Petri Net Tool. Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1055, 1996.

J. [. Groote and . Springintveld, Focus point and convergent process operators . A proof strategy for protocol verification. Logic Group Preprint Series 142, 1995.

+. Hal, ]. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language Lustre, Proceedings of the IEEE, 1991.

M. H. Härbour, J. P. Klein, and . Lehoczky, Timing analysis for fixedpriority scheduling of hard real-time systems, IEEE Transactions in Software Engineering, vol.20, issue.1, 1994.

M. Hennessy and T. Regan, A temporal process algebra. Information and Computation, 1995.

]. C. Hoa89 and . Hoare, Communicating Sequential Processes, 1989.

M. [. Holliday and . Vernon, A Generalized Timed Petri Net Model for Performance Analysis, IEEE Transactions on Software Engineering, vol.13, issue.12, 1987.
DOI : 10.1109/TSE.1987.233141

H. C. Hoogers, P. S. Kleijn, and . Thiagarajan, An event structure semantics for general Petri nets, Theoretical Computer Science, vol.153, issue.1-2, 1996.
DOI : 10.1016/0304-3975(95)00120-4

]. P. Janecek, A. Ratzer, and W. Mackay, Redesigning Design/CPN: integrating interaction and Petri-nets-in-use. International Workshop on Coloured Petri nets, 1999.

]. K. Jen81 and . Jensen, Coloured Petri nets and the invariant method, Theoretical Computer Science, vol.14, 1981.

]. K. Jen92 and . Jensen, Coloured Petri nets. basic concepts, analysis methods and practical use, EATCS Monographs on Theoretical Computer Science, vol.1, 1992.

+. Kha, ]. W. Khansa, P. Aygalinc, and J. P. Denat, Structural analysis of P-Time Petri nets. CESA'96, IMACS Multiconférence, 1996.

+. Kha, ]. W. Khansa, J. P. Denat, and S. Collart, P-Time Petri nets for manufacturing systems, WODES'96. Institute of Electronical Engineers, Computing and Control Division, 1996.

]. W. Kha97 and . Khansa, Réseaux de Petri p-temporels : contributionàcontribution`contributionà l'´ etude des syst` emesàévénementsemes`emesàemesàévénements discrets, Thèse de doctorat, 1997.

M. Kishinevsky, J. Cortadella, A. Kondratyev, L. Lavagno, A. Taubin et al., Coupling asynchrony and interrupts: Place Chart Nets, p.173, 1997.
DOI : 10.1007/3-540-63139-9_44

]. H. Kla97, R. Klaudel, and . Riemann, High-level expressions and their SOS semantics . CONCUR'97, LNCS 1243, 1997.

]. H. Kla98, E. Klaudel, R. Pelz, and . Riemann, Relating M-expressions and M-nets. DAPSYS'98, 1998.

]. H. Kla00 and . Klaudel, Parameterized M-expression semantics of parallel procedures. DAPSYS'00, 2000.

]. H. Kla01 and . Klaudel, Compositional high-level Petri net semantics of a parallel programming language with procedures, Sciences of Computer Programming, vol.41, issue.3, 2001.

]. M. Kou00 and . Koutny, A compositional model of time Petri nets, 2000.

]. S. Kri71 and . Kripke, Semantical considerations on modal logic. Reference and Modality, 1971.

+. Lar, ]. K. Larsen, P. Pettersson, and W. Yi, UPPAAL in a nutshell, International Journal on Software Tools and Technology Transfer, vol.1, issue.12, 1997.

]. J. Lil96 and . Lilius, OB(PN) 2 : An Object Based Petri Net Programming Notation, Euro-Par'96 volume, 1996.

E. [. Lilius and . Pelz, An M-net semantics for B(PN) 2 with procedures, Eleventh International Symposium on Computer and Information Science, 1996.

]. K. Mcm95 and . Macmillan, A technique of state space search based on unfoldings. Formal Methods in System Design, 1995.

A. Maggiolo-schettini and J. Winkowski, A compositional semantics for timed Petri nets. Fundamenta Informaticae, 13, 1990.

]. M. Mäk99 and . Mäkelä, MARIA: modular reachability analyser for algebraic system nets

]. F. Mar89 and . Maraninchi, Argonaute, graphical description, semantics and verification of reactive systems by using a process algebra. Workshop on Automatic Verification Methods for Finite State Systems, LNCS 407, 1989.

[. Alonzo, D. De-frutos, and . Escrig, Extending the Petri Box Calculus with Time, 2001.
DOI : 10.1007/3-540-45740-2_18

]. A. Maz86 and . Mazurkiewicz, Trace theory Advances in Petri Nets, Part 2, p.174, 1986.

P. M. Merlin, A study of recoverability of communication protocols, 1974.

D. [. Merlin and . Farber, Recoverability of Communication Protocols--Implications of a Theoretical Study, IEEE Transactions on Communications, vol.24, issue.9, 1976.
DOI : 10.1109/TCOM.1976.1093424

]. D. Mill89 and . Mills, Network Time Protocol (version 2), specification and implementation . Request For Comments 1119. Network working group, 1989.

]. R. Mil80 and . Milner, A Calculus of Communicating Systems, LNCS, vol.92, 1980.

]. R. Mil83 and . Milner, Calculi for synchrony and asynchrony, Theoretical Computer Science, vol.25, 1983.

]. R. Mil89 and . Milner, Communication and concurrency. International series in computer science, 1989.

+. Mil, ]. R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes. Part I and II. Information and Computation, 100, 1992.

C. [. Moller and . Tofts, A temporal calculus of communicating systems, CONCUR'90, 1990.
DOI : 10.1007/BFb0039073

C. [. Moller and . Tofts, Relating processes with respect to speed, CONCUR'91, 1991.
DOI : 10.1007/3-540-54430-5_104

]. T. Mur89 and . Murata, Petri nets: properties, analysis and applications, Proceedings of the IEEE, 1989.

J. [. Nicollin and . Sifakis, The Algebra of Timed Processes ATP: theory and applications. Information and Computation, 1994.

]. N. Nis97 and . Nissanke, Realtime systems. Series in Computer Science, 1997.

]. C. Petri62 and . Petri, Kommunikation mit Automaten, Schriften des Instituts für instrumentelle Mathematik, 1962.

]. J. Pet81 and . Peterson, Petri net theory, 1981.

]. P. Pett99 and . Petterson, Modelling and verification of real-time systems using timed automata: theory and practice, 1999.

S. Pinchinat, ´. E. Rutten, and R. K. Shyamasundar, Taxonomy and expressiveness of preemption: a syntactic approach. ASIAN'98, LNCS 1538, 1981.

]. A. Pnu77 and . Pnueli, The temporal logic of programs. FOCS'77, 1977.

C. V. Ramamoorhy and G. S. Ho, Performance evaluation of asynchronous concurrent systems using Petri nets, IEEE Transactions in Software Engineering, vol.6, 1980.

]. C. Ram74 and . Ramchandani, Analysis of asynchronous concurrent systems using Petri nets, 1974.

A. [. Reed and . Roscoe, A timed model for Communicating Sequential Processes, Theoretical Computer Science, vol.58, 1988.

]. G. Ric85 and . Richter, Clocks and their use for time modeling Information systems: Theoretical and Formal Aspects, 1985.

]. G. Ric98 and . Richter, Counting interfaces for discrete time modeling, 1998.

R. Riemann, Modelling of concurrent systems: structural and semantical methods in the high-level Petri net calculus, Thèse de doctorat, 1999.

P. [. Roch and . Starke, INA: Integrated Net Analyser. Manuel en ligne, 2001.

]. J. Sif77 and . Sifakis, Use of Petri nets for performance evaluation. Measuring modeling and evaluating computer systems, 1977.

]. J. Sif79 and . Sifakis, Performance evaluation of systems using nets. Net theory and applications , Advanced course on general net theory of processes and systems, LNCS, vol.84, 1979.

]. P. Sny and . Snyder, tmpfs: a virtual memory file system

]. P. Sta81 and . Starke, Processes in Petri nets, FCT'81, 1981.

]. P. Sta78 and . Starke, Free Petri nets languages, Mathematical Foundations of Computer Science LNCS, vol.64, 1978.

]. W. Vog91 and . Vogler, Failures semantics based on interval semiwords is a congruence for refinement. Distributed Computing, 1991.

]. W. Vog92 and . Vogler, Modular Construction and Partial Order Semantics of Petri Nets, LNCS, vol.625, 1992.

]. B. Wal83 and . Walter, Timed Petri-nets for modelling and analyzing protocols with realtime characteristics. Third IFIP workshop on protocols specification, testing and verification, 1983.

]. W. Yi90 and . Yi, Real-time behaviour of asynchronous agents, CONCUT'90, 1990.

]. S. Yov97 and . Yovine, Kronos: A verification tool for real-time systems, International Journal of Software Tools for Technology Transfer, vol.1, issue.12, 1997.