Advances in Petri Nets 1991 de Grzegorz Rozenberg

Advances in Petri Nets 1991: Lecture Notes in Computer Science, cartea 524

Grzegorz Rozenberg

en Limba Engleză Paperback – 28 aug 1991

The main idea behind the series of volumes Advances in PetriNets is to present to the general computer science communityrecent results which are the most representative andsignificant for the development of the area. Thepapers forthe volumes are drawn mainly from the annual InternationalConferences on Applications and Theory of Petri Nets.Selected papers from the latest conference are independentlyrefereed, and revised and extended as necessary. Somefurther papers submitted directly to the editor areincluded.Advances in Petri Nets 1991 covers the 11th InternationalConference on Applications and Theory of Petri Nets held inParis, France in June 1991. The volume contains theBibliography of Petri Nets 1990 prepared by H. Pl}nnecke andW. Reisig, with over 4000 entries.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

20%

Preț: 1061^.55 lei
20%

Preț: 307^.71 lei
20%

Preț: 438^.69 lei
20%

Preț: 645^.28 lei
Preț: 410^.88 lei
15%

Preț: 580^.46 lei
17%

Preț: 427^.22 lei
20%

Preț: 596^.46 lei
Preț: 381^.21 lei
20%

Preț: 353^.50 lei
20%

Preț: 1414^.79 lei
20%

Preț: 309^.90 lei
20%

Preț: 583^.40 lei
20%

Preț: 1075^.26 lei
20%

Preț: 310^.26 lei
20%

Preț: 655^.02 lei
20%

Preț: 580^.93 lei
20%

Preț: 340^.32 lei
15%

Preț: 438^.59 lei
20%

Preț: 591^.51 lei
20%

Preț: 649^.49 lei
20%

Preț: 337^.00 lei
Preț: 449^.57 lei
20%

Preț: 607^.39 lei
20%

Preț: 1024^.44 lei
20%

Preț: 579^.30 lei
20%

Preț: 763^.23 lei
20%

Preț: 453^.32 lei
20%

Preț: 575^.48 lei
20%

Preț: 585^.88 lei
20%

Preț: 825^.93 lei
20%

Preț: 763^.23 lei
17%

Preț: 360^.19 lei
20%

Preț: 1183^.14 lei
20%

Preț: 340^.32 lei
20%

Preț: 504^.57 lei
20%

Preț: 369^.12 lei
20%

Preț: 583^.40 lei
20%

Preț: 343^.62 lei
20%

Preț: 350^.21 lei
20%

Preț: 764^.89 lei
20%

Preț: 583^.40 lei
Preț: 389^.48 lei
20%

Preț: 341^.95 lei
20%

Preț: 238^.01 lei
20%

Preț: 538^.29 lei

Cuprins

Delays in synchronized elementary net systems.- Proving temporal properties of Petri nets.- The complexity of testing the equivalence of transition sequences.- Use of reentrant nets in modular analysis of colored nets.- On abstractions of nets.- Semantics, composition and net properties of algebraic high-level nets.- Top-down synthesis of live and bounded free choice nets.- Hood nets.- Distributable nets.- Computer supported design of kanban controlled production.- Optimal simulations, nets and reachability graphs.- An integrated software development methodology based on hierarchical colored Petri nets.- On net systems generated by process foldings.- On liveness preservation by composition of nets via a set of places.- Software implementation of petri nets and compilation of rule-based systems.- Bibliography of Petri nets 1990.