sc.bib

@ARTICLE{hk-acta,
  AUTHOR = {Best, E. and  Fr\c{a}czak, W. and  Hopkins, R.P. and Klaudel, H. and Pelz., E.},
  TITLE = {M-nets: an Algebra of High Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages},
  JOURNAL = {Acta Informatica},
  YEAR = {1998},
  VOLUME = {35}
}

@ARTICLE{hk-jalc,
  AUTHOR = {Devillers, R. and Klaudel, H. and Pelz, E.},
  TITLE = {An Algebraic Box Calculus},
  JOURNAL = {Journal of Automata, Languages and Combinatorics},
  YEAR = 2000,
  VOLUME = 5,
  NUMBER = 2
}

@INPROCEEDINGS{hk-fct,
  AUTHOR = {Klaudel, H. and Pelz, E.},
  TITLE = {Communication as Unification in the Petri Box Calculus},
  BOOKTITLE = {Fundamentals of Computation Theory},
  YEAR = 1995,
  EDITOR = {Reichel, H.},
  VOLUME = 965,
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer-Verlag}
}

@INPROCEEDINGS{hk-strict1,
  AUTHOR = {Klaudel, H. and Pelz, E.},
  TITLE = {An M-net Semantics of $B(PN)^2$},
  BOOKTITLE = {Structures in Concurrency Theory '95},
  YEAR = 1995,
  EDITOR = {Desel, J.},
  SERIES = {Workshops in Computing},
  PUBLISHER = {Springer-Verlag}
}

@INPROCEEDINGS{hk-icpn95,
  AUTHOR = {Best, E. and  Fr\c{a}czak, W. and  Hopkins, R.P. and Klaudel, H. and Pelz., E.},
  TITLE = {A Class of Composable High Level Petri Nets},
  BOOKTITLE = {Fundamentals of Computation Theory},
  YEAR = 1995,
  EDITOR = {De Michelis, G. and Diaz, M.},
  VOLUME = 1995,
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer-Verlag}
}

@ARTICLE{best98:_m,
  AUTHOR = {Best, E. and  Fr\c{a}czak, W. and  Hopkins, R.P. and Klaudel, H. and Pelz., E.},
  TITLE = {{M-nets: an Algebra of High-level Petri Nets with an Application to the Semantics
of Concurrent Programming Languages}},
  JOURNAL = {Acta Informatica},
  YEAR = 1998,
  NUMBER = 35,
  PAGES = {813--857}
}

@COMMENT{{"PROBLEME")
}}

@INPROCEEDINGS{hk-inpn98,
  AUTHOR = {Benzaken, V. and Hugon, N. and Klaudel, H. and  
                  Pelz, E. and Riemann, R.-C.},
  TITLE = {{M-net based Semantics for Triggers}},
  BOOKTITLE = {Application and Theory of Petri Nets 1998},
  YEAR = 1998,
  EDITOR = {Desel, J. and Silva, M.},
  VOLUME = 1420,
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer-Verlag}
}

@INPROCEEDINGS{hk-dapsys98,
  AUTHOR = {Klaudel, H. and  Pelz, E. and Riemann, R.-C.},
  TITLE = {{Relating M-expressions and M-nets}},
  BOOKTITLE = { DAPSYS'98: Austrian-Hungarian Workshop on Distributed and Parallel Systems'98},
  YEAR = 1998,
  NUMBER = {TR-120},
  PUBLISHER = {Institut f\"ur Informatik, Univerity of Vienna}
}

@INPROCEEDINGS{ASCD04,
  AUTHOR = {R. Bouroulet and H. Klaudel and E. Pelz},
  TITLE = { A semantics of Security Protocol Language (SPL) using a
class of composable high-level Petri nets},
  BOOKTITLE = {Application of Concurrency to System Design},
  PAGES = {99--108},
  YEAR = 2004,
  EDITOR = {M. Kishinevsky and Ph. Darondeau},
  VOLUME = {4th ACSD},
  PUBLISHER = {IIIE}
}

@INPROCEEDINGS{fleischhack03:_high_level_branc_proces_high,
  AUTHOR = {Fleischhack, H. and Pelz, E.},
  TITLE = {{High Level Branching Processes for High Level 
                  Petri Nets}},
  BOOKTITLE = {Proceedings of High Performances Computing Conference},
  PAGES = {246-253},
  YEAR = 2003,
  PUBLISHER = {SCS}
}

@INPROCEEDINGS{pelz03:_compos_high_level_petri_nets_timin_const,
  AUTHOR = {Pelz, E. and Fleischhack, H.},
  TITLE = {Compositional High Level Petri Nets with 
Timing Constraints -- a Comparison},
  BOOKTITLE = {Proceedings ASCD},
  PAGES = {132-141},
  YEAR = 2003,
  PUBLISHER = {IEEE Press}
}

@INPROCEEDINGS{fleischhack03:_hierar_timed_high_level_nets_branc_proces,
  AUTHOR = {Fleischhack, H. and Pelz, E.},
  TITLE = {{Hierarchical Timed High Level Nets and their 
                   Branching Processes}},
  BOOKTITLE = {ICATPN'03},
  PAGES = {397-416},
  YEAR = 2003,
  NUMBER = 2679,
  SERIES = {LNCS},
  PUBLISHER = {Springer}
}

@INPROCEEDINGS{LP1996:ICSIS,
  AUTHOR = {Lilius, J. and Pelz, E.},
  TITLE = {{An M-net semantics for B(PN)$^2$  with procedures}},
  BOOKTITLE = {ICSIS'96},
  YEAR = 1996,
  ADDRESS = {Antalya}
}

@INPROCEEDINGS{fraczak97:_pbc,
  AUTHOR = {Fraczak, W. and Pelz, E.},
  TITLE = {A new structural equivalence on labeled nets for PBC based on a reduction of silent transitions},
  BOOKTITLE = {ICON'97},
  PAGES = {117--135},
  YEAR = 1997,
  EDITOR = {Diaz, M. and Balbi, M.},
  NUMBER = 1248,
  SERIES = {LNCS},
  PUBLISHER = {Springer-Verlag}
}

@INPROCEEDINGS{fleischhack00:_partial_order_model_check_types,
  AUTHOR = {Fleischhack, H. and Pelz, E.},
  TITLE = {{Partial Order based Model Checking with data Types}},
  BOOKTITLE = {Logic Colloquium},
  YEAR = 2000,
  ADDRESS = {Paris}
}

@INPROCEEDINGS{pelz01:_concur_seman_paral_progr_languag_static_excep,
  AUTHOR = {Pelz, E. and Klaudel, H. and Pommereau, F.},
  TITLE = {{Concurrent Semantics of Parallel Programming Languages, including  Static Exceptions}},
  BOOKTITLE = {First FIDJI Workshop},
  YEAR = 2001,
  ADDRESS = {Luxembourg}
}

@INPROCEEDINGS{HPC02,
  AUTHOR = {Devillers, Raymond and Klaudel, Hanna and Koutny, Maciej and Pelz, Elisabeth and Pommereau, Franck},
  TITLE = {Operational Semantics for PBC with Asynchronous Communication},
  BOOKTITLE = {High Performance Computing},
  YEAR = 2002,
  PUBLISHER = {SCS},
  PAGES = {1-6}
}