Data Portal @ linkeddatafragments.org

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

• catalog abstract "This book constitutes the refereed proceedings of the 18th International Conference on the Application and Theory of Petri Nets, ICATPN'97, held in Toulouse, France, in June 1997. The 22 revised full papers presented in the volume were selected from a total of 61 submissions; also included are three invited contributions. All relevant topics in the area are addressed. Besides a variety of Petri net classes, workflow management, telecommunication networking, constraint satisfaction, program semantics, concurrency, and temporal logic are among the topics addressed.".
• catalog contributor b10661896.
• catalog contributor b10661897.
• catalog contributor b10661898.
• catalog contributor b10661899.
• catalog contributor b10661900.
• catalog created "c1997.".
• catalog date "1997".
• catalog date "c1997.".
• catalog dateCopyrighted "c1997.".
• catalog description "Analysis of petri nets with a dynamic priority method / F. Bause -- A compositional partial order semantics for petri net components / E. Kindler -- Covering step graph preserving failure semantics / F. Vernadat, F. Michel -- Siphons, traps and high-level nets with infinite color domains / K. Schmidt -- Teaching coloured petri nets : a gentle introduction to formal methods in a distributed systems course / S. Christensen, K.H. Mortensen -- Transition systems of elementary net systems with inhibitor arcs / M. Pietkiewicz-Koutny -- Coupling asynchrony and interrupts : place chart nets / M. Kishinevsky [and others] -- Modelling and solving constraint satisfaction problems through petri nets / L. Portinale -- Fault detection in telecommunication networks based on petri net represention of alarm propagation / R. Boubour, C. Jard -- Analysing Bang & Olufsen's BeoLink [superscript registered trademark symbol] audio/video system using coloured petri nets / S. Christensen, J.B. Jørgensen -- ".
• catalog description "Contient des références bibliographiques. Index.".
• catalog description "Model checking LTL using constraint programming / J. Esparza, S. Melzer -- On the composition of timed systems / J. Sifakis -- Some issues about petri net application to manufacturing and process supervisory control / R. Valette -- On the abstraction of coloured petri nets / C. Lakos -- Life-cycle inheritance : a petri-net-based approach / W.M.P. van der Aalst, T. Basten -- Multi-agent-systems based on coloured petri nets / D. Moldt, F. Wienberg -- On the complexity of the linear-time mu-calculus for petri nets / P. Habermehl -- Improved implementations via a new structural equivalence on labelled nets / W. Fraçzak, E. Pelz -- Time processes for time petri nets / T. Aura, J. Lilius -- Timed petri nets and temporal linear logic / M. Tanabe -- Efficient handling of phase-type distributions in generalized stochastic petri nets / S. Haddad, P. Moreaux, G. Chiola -- Petri's axioms of concurrency : a selection of recent results / O. Kummer, M.-O. Stehr -- ".
• catalog description "This book constitutes the refereed proceedings of the 18th International Conference on the Application and Theory of Petri Nets, ICATPN'97, held in Toulouse, France, in June 1997. The 22 revised full papers presented in the volume were selected from a total of 61 submissions; also included are three invited contributions. All relevant topics in the area are addressed. Besides a variety of Petri net classes, workflow management, telecommunication networking, constraint satisfaction, program semantics, concurrency, and temporal logic are among the topics addressed.".
• catalog description "Verification of workflow nets / W.M.P. van der Aalst -- Verification of siphons and traps for algebraic petri nets / K. Schmidt -- Othogonal transformations for coloured petri nets / E. Best, T. Thielke.".
• catalog extent "viii, 466 p. :".
• catalog identifier "3540631399".
• catalog isPartOf "Lecture notes in computer science ; 1248".
• catalog issued "1997".
• catalog issued "c1997.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "Combinatorics.".
• catalog subject "Computational complexity.".
• catalog subject "Computer Communication Networks.".
• catalog subject "Computer science.".
• catalog subject "Information theory.".
• catalog subject "Machine theory Congresses.".
• catalog subject "Operating systems (Computers).".
• catalog subject "Petri nets Congresses.".
• catalog subject "QA267 .A66 1997".
• catalog tableOfContents "Analysis of petri nets with a dynamic priority method / F. Bause -- A compositional partial order semantics for petri net components / E. Kindler -- Covering step graph preserving failure semantics / F. Vernadat, F. Michel -- Siphons, traps and high-level nets with infinite color domains / K. Schmidt -- Teaching coloured petri nets : a gentle introduction to formal methods in a distributed systems course / S. Christensen, K.H. Mortensen -- Transition systems of elementary net systems with inhibitor arcs / M. Pietkiewicz-Koutny -- Coupling asynchrony and interrupts : place chart nets / M. Kishinevsky [and others] -- Modelling and solving constraint satisfaction problems through petri nets / L. Portinale -- Fault detection in telecommunication networks based on petri net represention of alarm propagation / R. Boubour, C. Jard -- Analysing Bang & Olufsen's BeoLink [superscript registered trademark symbol] audio/video system using coloured petri nets / S. Christensen, J.B. Jørgensen -- ".
• catalog tableOfContents "Model checking LTL using constraint programming / J. Esparza, S. Melzer -- On the composition of timed systems / J. Sifakis -- Some issues about petri net application to manufacturing and process supervisory control / R. Valette -- On the abstraction of coloured petri nets / C. Lakos -- Life-cycle inheritance : a petri-net-based approach / W.M.P. van der Aalst, T. Basten -- Multi-agent-systems based on coloured petri nets / D. Moldt, F. Wienberg -- On the complexity of the linear-time mu-calculus for petri nets / P. Habermehl -- Improved implementations via a new structural equivalence on labelled nets / W. Fraçzak, E. Pelz -- Time processes for time petri nets / T. Aura, J. Lilius -- Timed petri nets and temporal linear logic / M. Tanabe -- Efficient handling of phase-type distributions in generalized stochastic petri nets / S. Haddad, P. Moreaux, G. Chiola -- Petri's axioms of concurrency : a selection of recent results / O. Kummer, M.-O. Stehr -- ".
• catalog tableOfContents "Verification of workflow nets / W.M.P. van der Aalst -- Verification of siphons and traps for algebraic petri nets / K. Schmidt -- Othogonal transformations for coloured petri nets / E. Best, T. Thielke.".
• catalog title "Application and theory of Petri nets 1997 : 18th international conference, ICATPN'97, Toulouse, France, June 23-27, 1997 : proceedings / Pierre Azéma, Gianfranco Balbo (eds.).".
• catalog type "Conference proceedings. fast".
• catalog type "Toulouse (1997) swd".
• catalog type "text".