| [1] |
R. Bouroulet, H. Klaudel, and E. Pelz.
A semantics of security protocol language (spl) using a class of
composable high-level petri nets.
In M. Kishinevsky and Ph. Darondeau, editors, Application of
Concurrency to System Design, volume 4th ACSD, pages 99-108. IIIE, 2004. [ bib ] |
| [2] |
H. Fleischhack and E. Pelz.
High Level Branching Processes for High Level Petri Nets.
In Proceedings of High Performances Computing Conference, pages
246-253. SCS, 2003. [ bib ] |
| [3] |
E. Pelz and H. Fleischhack.
Compositional high level petri nets with timing constraints - a
comparison.
In Proceedings ASCD, pages 132-141. IEEE Press, 2003. [ bib ] |
| [4] |
H. Fleischhack and E. Pelz.
Hierarchical Timed High Level Nets and their Branching Processes.
In ICATPN'03, number 2679 in LNCS, pages 397-416. Springer,
2003. [ bib ] |
| [5] |
Raymond Devillers, Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, and Franck
Pommereau.
Operational semantics for pbc with asynchronous communication.
In High Performance Computing, pages 1-6. SCS, 2002. [ bib ] |
| [6] |
E. Pelz, H. Klaudel, and F. Pommereau.
Concurrent Semantics of Parallel Programming Languages, including
Static Exceptions.
In First FIDJI Workshop, Luxembourg, 2001. [ bib ] |
| [7] |
R. Devillers, H. Klaudel, and E. Pelz.
An algebraic box calculus.
Journal of Automata, Languages and Combinatorics, 5(2), 2000. [ bib ] |
| [8] |
H. Fleischhack and E. Pelz.
Partial Order based Model Checking with data Types.
In Logic Colloquium, Paris, 2000. [ bib ] |
| [9] |
E. Best, W. Fraczak, 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, 35, 1998. [ bib ] |
| [10] |
E. Best, W. Fraczak, 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, (35):813-857, 1998. [ bib ] |
| [11] |
V. Benzaken, N. Hugon, H. Klaudel, E. Pelz, and R.-C. Riemann.
M-net based Semantics for Triggers.
In J. Desel and M. Silva, editors, Application and Theory of
Petri Nets 1998, volume 1420 of Lecture Notes in Computer Science.
Springer-Verlag, 1998. [ bib ] |
| [12] |
H. Klaudel, E. Pelz, and R.-C. Riemann.
Relating M-expressions and M-nets.
In DAPSYS'98: Austrian-Hungarian Workshop on Distributed and
Parallel Systems'98, number TR-120. Institut für Informatik, Univerity of
Vienna, 1998. [ bib ] |
| [13] |
W. Fraczak and E. Pelz.
A new structural equivalence on labeled nets for pbc based on a
reduction of silent transitions.
In M. Diaz and M. Balbi, editors, ICON'97, number 1248 in LNCS,
pages 117-135. Springer-Verlag, 1997. [ bib ] |
| [14] |
J. Lilius and E. Pelz.
An M-net semantics for B(PN)2 with procedures.
In ICSIS'96, Antalya, 1996. [ bib ] |
| [15] |
H. Klaudel and E. Pelz.
Communication as unification in the petri box calculus.
In H. Reichel, editor, Fundamentals of Computation Theory,
volume 965 of Lecture Notes in Computer Science. Springer-Verlag, 1995. [ bib ] |
| [16] |
H. Klaudel and E. Pelz.
An m-net semantics of b(pn)2.
In J. Desel, editor, Structures in Concurrency Theory '95,
Workshops in Computing. Springer-Verlag, 1995. [ bib ] |
| [17] |
E. Best, W. Fraczak, R.P. Hopkins, H. Klaudel, and E. Pelz.
A class of composable high level petri nets.
In G. De Michelis and M. Diaz, editors, Fundamentals of
Computation Theory, volume 1995 of Lecture Notes in Computer Science.
Springer-Verlag, 1995. [ bib ] |