#### Filter Results:

#### Publication Year

1976

2013

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

- René David, Hassane Alla
- 1992

Petri nets (PNs) are widely used to model discrete event dynamic systems (computer systems, manufacturing systems, communication systems, etc). Continuous Petri nets (in which the markings are real numbers and the transition firings are continuous) were defined more recently; such a PN may model a continuous system or approximate a discrete system. A hybrid… (More)

This paper develops a general technique to analyze the head reduction of a term in a context. This technique is used to give a direct proof of the theorem of Hyland and Wadsworth : two-terms that have the same Böhm trees, up to (possibly infinite)-equivalence, are operationally equivalent. It is also used to prove a conjecture of R. Kerth : Every… (More)