| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465406103316 |
|
|
Titolo |
Advances in Petri Nets 1990 [[electronic resource] /] / edited by Grzegorz Rozenberg |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1991.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 516 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 483 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Algorithms |
Computer logic |
Microprocessors |
Computer communication systems |
Theory of Computation |
Computation by Abstract Devices |
Algorithm Analysis and Problem Complexity |
Logics and Meanings of Programs |
Processor Architectures |
Computer Communication Networks |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
A survey of behaviour and equivalence preserving refinements of petri nets -- A distributed simulator for high order Petri nets -- Petri nets with uncertain markings -- Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows -- Improving the linearly based characterization of P/T nets -- Linear invariants in commutative high level nets -- Vicinity respecting net morphisms -- Regular stochastic petri nets -- Circuits, handles, bridges and nets -- On the analysis and synthesis of free choice systems -- Petri net models of a distributed election protocol on a unidirectional ring -- Hierarchies in coloured petri nets -- Coloured petri nets: A high level language for system design and analysis -- A simulation system architecture for graph models -- A state |
|
|
|
|
|
|
|
|
|
|
|
transformation preorder over a class of EN systems -- Composition of nets via a communication medium -- ?Trellis: A system for writing and browsing petri-net-based hypertext -- Stubborn sets for reduced state space generation. |
|
|
|
|
|
|
Sommario/riassunto |
|
The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. The papers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1990 covers the Tenth International Conference on Applications and Theory of Petri Nets held in Bonn, Germany, in June 1989. Additional highlights of this volume include a tutorial on refinements of Petri nets by W. Brauer, R. Gold, and W. Vogler, and a tutorial on analysis and synthesis of free choice systems by J. Esparza and M. Silva, both prepared in the framework of the ESPRIT Basic Research Actions Project DEMON. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNICAMPANIAVAN00240631 |
|
|
Autore |
Pepe, Gabriele |
|
|
Titolo |
Il modello della democrazia partecipativa tra aspetti teorici e profili applicativi : un'analisi comparata. / Gabriele Pepe |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Milano, : Wolters Kluwer ; [Padova], : CEDAM, 2020 |
|
|
|
|
|
|
|
Titolo uniforme |
Il modello della democrazia partecipativa tra aspetti teorici e profili applicativi |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
3. |
Record Nr. |
UNICAMPANIAVAN00298001 |
|
|
Autore |
Dorofeeva, Anna |
|
|
Titolo |
Reading nature in the early middle ages : writing, language, and creation in the latin physiologus, ca. 700-1000 / by Anna Dorofeeva |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Leeds, : Arc Humanities, 2023 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
4. |
Record Nr. |
UNINA9911046009303321 |
|
|
Autore |
Rosa Paolo |
|
|
Titolo |
Circular Approaches for the Ecodesign, Repair and Remanufacturing of Car and Mass Electronics : The CIRC-UITS Project |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer, , 2025 |
|
©2026 |
|
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (177 pages) |
|
|
|
|
|
|
Collana |
|
SpringerBriefs in Applied Sciences and Technology Series |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
This open access book summarizes research being pursued within the CIRC-UITS project, funded by the European Union community under the Horizon Europe programme, the goal of which is to demonstrate the improvement of circularity of automotive and mass electronics sectors by recovering materials from waste products, as well as supporting the reuse. |
|
|
|
|
|
|
|
| |