#### Filter Results:

- Full text PDF available (36)

#### Publication Year

1995

2018

- This year (3)
- Last 5 years (17)
- Last 10 years (36)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
- Application and Theory of Petri Nets
- 1995

In this paper a high-level Petri net model called M-nets (for multilabeled nets) is developed. A distinctive feature of this model is that it allows not only vertical unfolding, as do most otherâ€¦ (More)

- CÃ©cile Bui Thanh, Hanna Klaudel, Franck Pommereau
- Electr. Notes Theor. Comput. Sci.
- 2002

We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progression of time isâ€¦ (More)

Using a class of high level Petri nets, M-nets, endowed with composition operators resembling those of CCS, we give the compositional semantics of B(PN) a syntactically simple but semanticallyâ€¦ (More)

- Eike Best, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
- Acta Informatica
- 1998

This paper describes a high-level Petri net model called M-nets (for modular multilabelled nets). A distinctive feature of this model is that it allows both: unfolding, as do most other high-levelâ€¦ (More)

- Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
- Formal Aspects of Computing
- 2008

We propose a finite structural translation of possibly recursive Ï€-calculus terms into Petri nets. This is achieved by using high-level nets together with an equivalence on markings in order to modelâ€¦ (More)

- Hanna Klaudel, Franck Pommereau
- ASIAN
- 1999

This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We introduce a new operatorâ€¦ (More)

- Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann
- Theor. Comput. Sci.
- 2003

The algebra of M-nets, a high-level class of labelled Petri nets, was introduced in order to cope with the size problem of the low-level Petri box calculus, especially when applied as semanticalâ€¦ (More)

- Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
- Fundam. Inform.
- 2003

The starting point of this paper is an algebraic Petri net framework allowing one to express net compositions, such as iteration and parallel composition, as well as transition synchronisation andâ€¦ (More)

Advances in high-throughput technologies have enabled the delineation of large networks of interactions that control cellular processes. To understand behavioral properties of these complex networks,â€¦ (More)

- Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
- Sci. Ann. Comp. Sci.
- 2010

Automated veri cation of dynamic multi-threaded computing systems is severely a ected by problems relating to dynamic process creation. In this paper, we describe an abstraction technique aimed atâ€¦ (More)