Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/003468467/catalog> ?p ?o. }

• catalog abstract ""This volume contains the proceedings of the 14th International Conference onApplication and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 150-200 participants, one third of whom come from industry, while the rest are from universities and research institutes. The volume includes three invited papers, "Modeling and enactment of workflow systems" (C.A. Ellis, G.J. Nutt), "Interleaving functional and performance structural analysis of net models" (M. Silva), and "FSPNs: fluid stochastic Petri nets" (K.S. Trivedi, V.G. Kulkarni), together with 26 full papers (selected from 102 submissions) and 6 project papers."--PUBLISHER'S WEBSITE.".
• catalog contributor b5029816.
• catalog contributor b5029817.
• catalog created "c1993.".
• catalog date "1993".
• catalog date "c1993.".
• catalog dateCopyrighted "c1993.".
• catalog description ""This volume contains the proceedings of the 14th International Conference onApplication and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 150-200 participants, one third of whom come from industry, while the rest are from universities and research institutes. The volume includes three invited papers, "Modeling and enactment of workflow systems" (C.A. Ellis, G.J. Nutt), "Interleaving functional and performance structural analysis of net models" (M. Silva), and "FSPNs: fluid stochastic Petri nets" (K.S. Trivedi, V.G. Kulkarni), together with 26 full papers (selected from 102 submissions) and 6 project papers."--PUBLISHER'S WEBSITE.".
• catalog description "A client-server protocol for the composition of petri nets / C. Sibertin-Blanc -- Analysis of dynamic load balancing strategies using a combination of stochastic petri nets and queueing networks / C.R.M. Sundaram, Y. Narahari -- Liveness and home states in equal conflict systems / E. Teruel, M. Silva -- Bridging the gap between place- and floyd-invariants with applications to preemptive scheduling / R. Valk -- Interval timed coloured petri nets and their analysis / W.M.P. van der Aalst -- Integration of specification for modeling and specification for system design / C.Y. Wang, K.S. Trivedi -- New priority-lists for scheduling in timed petri nets / T. Watanabe, M. Yamauchi -- A unified approach for reasoning about conflict-free petri nets / H.C. Yen, B.Y. Wang, M.S. Yang -- A colored petri net model for a naval command and control system / J. Berger, L. Lamontagne -- Petri net based specifications of services in an intelligent network / C. Capellmann, H. Dibold -- ".
• catalog description "Coloured petri nets extended with place capacities, test arcs and inhibitor arcs / S. Christensen, N.D. Hansen -- Integrating software engineering methods and petri nets for the specification and prototyping of complex information systems / Y. Deng [and others] -- Shortest paths in reachability graphs / J. Desel, J. Esparza -- Construction of s-invariants and s-components for refined petri boxes / R. Devillers -- Compositional liveness properties of EN-systems / D. Gomm [and others] -- Analysis of place/transition nets with timed arcs and its application to batch process control / H.M. Hanisch -- On well-formed nets and optimizations in enabling tests / J.M. Ilie, O. Rojas -- Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net / P. Kemper -- Exploiting t-invariant analysis in diagnostic reasoning on a petri net model / L. Portinale -- Marking optimization of stochastic timed event graphs / N. Sauer, X. Xie -- ".
• catalog description "Includes bibliographical references.".
• catalog description "Modeling and enactment of workflow systems / C.A. Ellis, G.J. Nutt -- Interleaving functional and performance structural analysis of net models / M. Silva -- FSPNs: fluid stochastic petri nets / K.S. Trivedi, V.G. Kulkarni -- Taking advantages of temporal redundancy in high level petri nets implementations / J.A. Banares [and others] -- A subset of lotos with the computational power of place/transition-nets / M. Barbeau, G. von Bochmann -- An efficient algorithm for finding structural deadlocks in colored petri nets / K. Barkaoui, C. Dutheillet, S. Haddad -- Synthesis of net systems / L. Bernardinello -- Hierarchies in colored GSPNs / P. Buchholz -- Variable reasoning and analysis about uncertainty with fuzzy petri nets / T. Cao, A.C. Sanderson -- Distributed simulation of timed petri nets / G. Chiola, A. Ferscha -- Transient analysis of deterministic and stochastic petri nets / H. Choi, V.G. Kulkarni, K.S. Trivedi -- ".
• catalog description "On net modeling of industrial size concurrent systems / L. Cherkasova, V. Kotov, T. Rokicki -- Analysis of the TMS320C40 communication channels using timed petri nets / D.A. Hartley, D.M. Harvey -- Protocol optimization for a packet-switched bus in case of burst traffic by means of GSPN / G. Klas -- Petri nets modeling in pipelined microprocessor design / Q. Zhang, H. Grunbacher.".
• catalog extent "ix, 591 p. :".
• catalog identifier "0387568638 (New York : acid-free paper)".
• catalog identifier "3540568638 (Berlin : acid-free paper)".
• catalog isPartOf "Lecture notes in computer science ; 691".
• catalog issued "1993".
• catalog issued "c1993.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer-Verlag,".
• catalog subject "Petri nets Congresses.".
• catalog subject "QA267 .A66 1993".
• catalog tableOfContents "A client-server protocol for the composition of petri nets / C. Sibertin-Blanc -- Analysis of dynamic load balancing strategies using a combination of stochastic petri nets and queueing networks / C.R.M. Sundaram, Y. Narahari -- Liveness and home states in equal conflict systems / E. Teruel, M. Silva -- Bridging the gap between place- and floyd-invariants with applications to preemptive scheduling / R. Valk -- Interval timed coloured petri nets and their analysis / W.M.P. van der Aalst -- Integration of specification for modeling and specification for system design / C.Y. Wang, K.S. Trivedi -- New priority-lists for scheduling in timed petri nets / T. Watanabe, M. Yamauchi -- A unified approach for reasoning about conflict-free petri nets / H.C. Yen, B.Y. Wang, M.S. Yang -- A colored petri net model for a naval command and control system / J. Berger, L. Lamontagne -- Petri net based specifications of services in an intelligent network / C. Capellmann, H. Dibold -- ".
• catalog tableOfContents "Coloured petri nets extended with place capacities, test arcs and inhibitor arcs / S. Christensen, N.D. Hansen -- Integrating software engineering methods and petri nets for the specification and prototyping of complex information systems / Y. Deng [and others] -- Shortest paths in reachability graphs / J. Desel, J. Esparza -- Construction of s-invariants and s-components for refined petri boxes / R. Devillers -- Compositional liveness properties of EN-systems / D. Gomm [and others] -- Analysis of place/transition nets with timed arcs and its application to batch process control / H.M. Hanisch -- On well-formed nets and optimizations in enabling tests / J.M. Ilie, O. Rojas -- Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net / P. Kemper -- Exploiting t-invariant analysis in diagnostic reasoning on a petri net model / L. Portinale -- Marking optimization of stochastic timed event graphs / N. Sauer, X. Xie -- ".
• catalog tableOfContents "Modeling and enactment of workflow systems / C.A. Ellis, G.J. Nutt -- Interleaving functional and performance structural analysis of net models / M. Silva -- FSPNs: fluid stochastic petri nets / K.S. Trivedi, V.G. Kulkarni -- Taking advantages of temporal redundancy in high level petri nets implementations / J.A. Banares [and others] -- A subset of lotos with the computational power of place/transition-nets / M. Barbeau, G. von Bochmann -- An efficient algorithm for finding structural deadlocks in colored petri nets / K. Barkaoui, C. Dutheillet, S. Haddad -- Synthesis of net systems / L. Bernardinello -- Hierarchies in colored GSPNs / P. Buchholz -- Variable reasoning and analysis about uncertainty with fuzzy petri nets / T. Cao, A.C. Sanderson -- Distributed simulation of timed petri nets / G. Chiola, A. Ferscha -- Transient analysis of deterministic and stochastic petri nets / H. Choi, V.G. Kulkarni, K.S. Trivedi -- ".
• catalog tableOfContents "On net modeling of industrial size concurrent systems / L. Cherkasova, V. Kotov, T. Rokicki -- Analysis of the TMS320C40 communication channels using timed petri nets / D.A. Hartley, D.M. Harvey -- Protocol optimization for a packet-switched bus in case of burst traffic by means of GSPN / G. Klas -- Petri nets modeling in pipelined microprocessor design / Q. Zhang, H. Grunbacher.".
• catalog title "Application and theory of Petri nets, 1993 : 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993 : proceedings / Marco Ajmone Marsan, ed.".
• catalog type "Chicago (Ill., 1993) swd".
• catalog type "Conference proceedings. fast".
• catalog type "text".