Application and Theory of Petri Nets 1995 [[electronic resource] ] : 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings / / edited by Giorgio DeMichelis, Michel Diaz |
Edizione | [1st ed. 1995.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
Descrizione fisica | 1 online resource (X, 518 p.) |
Disciplina | 004.0151 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Architecture, Computer Mathematical logic Algorithms Computer logic Microprocessors Computation by Abstract Devices Computer System Implementation Mathematical Logic and Foundations Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Processor Architectures |
ISBN | 3-540-49408-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A refined view of the box algebra -- Distributed algorithms and causally consistent observations (abstract) -- Petri Nets for information systems modelling -- On liveness in Extended Non Self-Controlling Nets -- An algebraic semantics for hierarchical P/T nets -- A Petri net based environment for the design of event-driven interfaces -- An incremental specification of a Hydroelectric Power Plant Control System using a class of modular algebraic nets -- A class of composable high level Petri nets -- An efficient algorithm for the computation of stubborn sets of well formed Petri Nets -- CAB: An environment for developing concurrent application -- A notion of equivalence for stochastic Petri nets -- Parallel state space exploration for GSPN models -- Modular state space analysis of coloured Petri Nets -- Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning -- Symbolic reachability graph and partial symmetries -- Causal behaviours and nets -- From Coloured Petri Nets to Object Petri Nets -- Handles and reachability analysis of free choice nets -- Performance bounds for stochastic timed Petri nets -- An inspection model with minimal and major maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets -- Subclasses of recognizable trace languages -- Verification of asynchronous circuits by BDD-based model checking of Petri nets -- Parameterized reachability trees for algebraic Petri nets -- Efficient simulation of Thor nets -- Functional equivalences of Petri nets -- Hierarchical Time Stream Petri Net: A model for hypermedia systems -- Markov Regenerative Stochastic Petri Nets with age type general transitions -- Timed processes of Timed Petri Nets. |
Record Nr. | UNISA-996466157103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Application of Petri Nets to Communication Networks [[electronic resource] ] : Advances in Petri Nets / / edited by Jonathan Billington, Michel Diaz, Grzegorz Rozenberg |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 |
Descrizione fisica | 1 online resource (X, 314 p.) |
Disciplina | 004/.36 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer communication systems
Application software Software engineering Information storage and retrieval Electrical engineering Computer Communication Networks Information Systems Applications (incl. Internet) Software Engineering Information Storage and Retrieval Communications Engineering, Networks |
ISBN | 3-540-48911-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Using high-level petri nets in the field of intelligent networks -- The incremental modelling of the Z39.50 protocol with object petri nets -- The modelling and analysis of IEEE 802.6's configuration control protocol with coloured petri nets -- Colored petri nets based modeling and simulation of the static and dynamic allocation policies of the asynchronous bandwidth in the fieldbus protocol -- Parameter region for the proper operation of the IEEE 802.2 LLC type 3 protocol: A petri net approach -- Timed petri net models of ATM LANs -- Performance evaluation of polling-based communication systems using SPNs -- Structural decomposition and serial solution of SPN models of the ATM GAUSS switch -- COSTPN for Modeling and control of telecommunication systems -- Stochastic colored petri net models for rainbow optical networks. |
Record Nr. | UNISA-996465943103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Application of Petri Nets to Communication Networks [[electronic resource] ] : Advances in Petri Nets / / edited by Jonathan Billington, Michel Diaz, Grzegorz Rozenberg |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 |
Descrizione fisica | 1 online resource (X, 314 p.) |
Disciplina | 004/.36 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer networks
Application software Software engineering Information storage and retrieval Electrical engineering Computer Communication Networks Information Systems Applications (incl. Internet) Software Engineering Information Storage and Retrieval Communications Engineering, Networks |
ISBN | 3-540-48911-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Using high-level petri nets in the field of intelligent networks -- The incremental modelling of the Z39.50 protocol with object petri nets -- The modelling and analysis of IEEE 802.6's configuration control protocol with coloured petri nets -- Colored petri nets based modeling and simulation of the static and dynamic allocation policies of the asynchronous bandwidth in the fieldbus protocol -- Parameter region for the proper operation of the IEEE 802.2 LLC type 3 protocol: A petri net approach -- Timed petri net models of ATM LANs -- Performance evaluation of polling-based communication systems using SPNs -- Structural decomposition and serial solution of SPN models of the ATM GAUSS switch -- COSTPN for Modeling and control of telecommunication systems -- Stochastic colored petri net models for rainbow optical networks. |
Record Nr. | UNINA-9910768466803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
L'énergie à découvert / / Rémy Mosseri, Catherine Jeandel |
Autore | Alazard-Toux Nathalie |
Pubbl/distr/stampa | Paris, : CNRS Éditions, 2017 |
Descrizione fisica | 1 online resource (345 p.) |
Altri autori (Persone) |
Alvarez-HéraultMarie-Cécile
ArnouxMathieu ArribartHervé ArteroVincent AverbuchDaniel BabaritAurélien BaraerFranck BéguinFrançois BelloubetNicole Beloin-Saint-PierreDidier BenvenisteAlbert BergelAlain BernardOlivier BessereauGeneviève BézianJean-Jacques BigotBernard BillebaudAnnick BlancIsabelle BlancPhilippe BoninBernard BoukhalfaMourad Abdelkrim BouneauSandra BraultPascal BréchetYves BrochonCyril BrosetaDaniel BrousseThierry CabarrocasPere Roca i CadoretJean-Paul CandelSébastien CarréFranck Cassier-ChauvatCorinne CathelineauMichel CauneauFrançois ChaudretBruno ChauvatFranck ChomazJean-Marc ChristmannPatrice CiaisPhilippe CloutetÉric ColombierMichel ColonnaPaul CornetJean-François CosnierSerge CriquiPatrick DandinPhilippe DavidSylvain DelmasClaude DementinSébastien DiazMichel DolletAlain DufrêcheJean-François DuplanJean-Luc DuroxDaniel DutoitThierry EspinarBella FavreÉric FéreyGérard FierobeHenri-Pierre FinonDominique FlamantGilles FleuryGuillaume FontecaveMarc FruchartDaniel FuchsAlain GabrielleBenoît GeantetChristophe GeoffronPatrice GiardDominique GloaguenFrédéric GobertJulie GofféBruno GökalpIskender GrambowBernd GuérinFrédéric GuiberteauPhilippe GuillaudXavier GuillemolesJean-François GuillouetStéphane GuyotFrançois HadjsaidNouredine HadziioannouGeorges HamelinJérôme HarauxFrancis HarocheSerge HennequinPascale HétreuxGilles HöfteHerman HossonCécile de HourcadeJean-Charles HucAlain-Yves JeandelCatherine JolyJean-Pierre JouveCarole Molina KalaydjianFrançois KergomardClaude KleiderJean-Paul KleinÉtienne KovacsFrancis KrobDaniel LabussièreOlivier LachalBernard LagabrielleYves LaraMichel De LassèguesPierre LatrilleÉric LaurentVictoire LédéJacques LégerChristophe LegrandJack LeroyMaurice LincotDaniel LojouElisabeth MarsilyGhislain de MassonRoland Masson-DelmotteValérie MayerDidier MéplanOlivier Merle-LucotteElsa MichelsRaymond MiquelJacques MoisanFrançois MontagneXavier MosseriRémy MousseauNormand NaghaviNegar NaourFrançois Le NatafHenri-Claude OdruPierre PaillardDidier PapillonPhilippe PeltierGilles PerceboisJacques Percheron-GuéganAnnick PerraudinÉmilie PiégayHervé Pijaudier-CabotGilles PoinssotChristophe PourcellyGérald PyXavier QuenardDaniel RablAri RaimondJean-Michel RaisonBertrand RappaportFabrice RavelFrédéric RenardFrançois ReussPaul RobertChristelle RotenbergBenjamin RoureFrançois RoussetMarc RutherfordJonathan SabonnadièreJean-Claude SanjuanBernard SchollhammerPhilippe SciandraAntoine SentieysOlivier SerçaDominique SerreChristian SimonChristian SimonPatrice SlaouiAbdelilah SonnendrückerÉric SteyerJean-Philippe TarasconJean-Marie TardieuBernard TheryRaphaële TissierMatthieu TixadorPascal TorréJean-Philippe TrablyÉric TreutHervé Le UribelarreaJean-Louis ValentinLuc VathaireFlorent de VernierRomain ViallyRoland VillenaveÉric ViolletPierre-Louis VrinatMichel WaldLucien WollmanFrancis-André YverCamille ZélemMarie-Christine ZissisGeorges |
Collana | À découvert |
Soggetto topico |
Environmental studies, Geography & Development
énergie environnement politique économie ressource naturelle |
Soggetto non controllato |
énergie
environnement politique économie ressource naturelle |
ISBN |
2-271-11914-6
2-271-07696-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Altri titoli varianti | ENERGIE A DECOUVERT |
Record Nr. | UNINA-9910495833403321 |
Alazard-Toux Nathalie
![]() |
||
Paris, : CNRS Éditions, 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|