Formalisation en logique linéaire du fonctionnement des réseaux de Petri

Autor: GIRAULT, François

En logique classique, la formalisation du fonctionnement des réseaux de Petri (RdP) se heurte à la pérennité de la vérité. En logique modale, elle impose la construction préalable du graphe des marquages accessibles. A contrario, la logique li

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00010245
http://tel.archives-ouvertes.fr/docs/00/04/84/64/PDF/tel-00010245.pdf

Antiquitez de la Gaule Belgique -- [Premier (et second) volume des Antiquitez de la Gaule Belgique, royaume de France, Austrasie et Lorraine, avec l'origine des duchés et comtés de l'ancienne et moderne Brabant, Tongre, Ardennes, Haynau, Mozelane, Lotreich, Flandres, Lorraine, Barrois, Luxembourg, Louvain, Waudemont, Jainville, Namur, Chiny, et autres principautés ; extraites sous les vies des éveques de Verdun, ancienne cité d'icelle Gaule, par M. Richard de Wassebourg,... avec plusieurs épitomes et sommaires des vies des papes, empereurs, rois...]. -- [Paris : par Vincent Sertenas, libraire, 1549].

Autor: Wassebourg, Richard de, 15./16. stol. -- Girault; Francois, 16. stol., editor

Publikováno v: Elektronické zdroje: ICCU (http://www.internetculturale.it/moduli/opac/opac.jsp). -- BN-OPALE-Plus
(http://catalogue.bnf.fr/), FRBNF31624425 a FRBNF34006180. -- ÖNB (http://aleph.onb.ac.at/). -- COPAC
(http://copac.ac.uk/). -- SP Berlin PK (http://stabikat.sbb.spk-berlin.de).-- GBV (http://gso.gbv.de/

Externí odkaz: http://www.manuscriptorium.com/apps/index.php?direct=record&pid=NKCR__-NKCR__SB_215______2YTG4A6-cs