Harvard |

Harvard

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

Showing items 1 to 27 of 27 with 100 items per page.

catalog contributor b10148608.
catalog contributor b10148609.
catalog contributor b10148610.
catalog created "c1996.".
catalog date "1996".
catalog date "c1996.".
catalog dateCopyrighted "c1996.".
catalog description "A formal definition of hierarchical predicate transition nets / X. He -- Reduced state space representation for unbounded vector state spaces / K. Hiraishi -- Modeling and analysis of distributed program execution in BETA using colored petri nets / J.B. Jorgensen, K.H. Mortensen -- Reachability analysis based on structured representations / P. Kemper -- Arc-typed petri nets / E. Kindler, R. Walter -- The SEA language for system engineering and animation / B. Kleinjohann, E. Kleinjohann, J. Tacken -- A new iterative numerical solution algorithm for a class of stochastic petri nets / W. Knaup -- A structural approach for the analysis of petri nets by reduced unfoldings / A. Kondratyev [and others] -- An algorithm to verify if a net is regular / A. Kovalyov -- The consistent use of names and polymorphism in the definition of object petri nets / C. Lakos -- Designing a security system by means of colored petri nets / J. Linneberg Rasmussen, M. Singh -- ".
catalog description "Includes bibliographical references and index.".
catalog description "Modeling and analysing DART systems through high-level petri nets / L. Nigro, F. Pupo -- {SC}*ECS: a class of modular and hierarchical cooperating systems / L. Recalde, E. Teruel, M. Silva -- Behavioral equivalence for infinite systems / K. Sunesen, M. Nielsen -- Topological aspects of traces / J. van Oosten -- Asynchronous control device design by net model behavior simulation / V.I. Varshavsky, V.B. Marakhovsky -- Covering step graph / F. Vernadat, P. Azema, F. Michel -- Performance analysis of a connection management scheme in IWU interconnecting LANs across ATM networks / J. Yuan, L. Liu, Z. Dong.".
catalog description "Modeling concurrent systems / G. Agha -- Temporal uncertainty and fuzzy-timing high-level petri nets / T. Murata -- Compositionality in state space verification methods / A. Valmari -- On liveness and controlers siphons in petri nets / K. Barkaoui, J.-F. Pradat-Peyre -- Behavioral and structural composition rules preserving liveness by synchronization for colored FIFO Nets / M.-L. Benalycherif, C. Girault -- High-level synthesis of synchronous parallel controlers / K. Bilinski, E.L. Dagless -- Non sequential semantics for contextual P/T nets / N. Busi, G.M. Pinna -- The PSR methodology / S. Donatelli, G. Franceschinis -- Designing and verifying a communications gateway using colored petri nets and design/CPN / D.J. Floreani, J. Billington, A. Dadej -- Expected impulse rewards in Markov regenerative stochastic petri nets / R. German [and others] -- Asynchronous composition of high level petri nets / S. Haddad, P. Moreaux -- ".
catalog extent "viii, 548 p. :".
catalog identifier "3540613633".
catalog isPartOf "Lecture notes in computer science ; 1091".
catalog issued "1996".
catalog issued "c1996.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog subject "Petri nets Congresses.".
catalog subject "QA267 .A66 1996g".
catalog tableOfContents "A formal definition of hierarchical predicate transition nets / X. He -- Reduced state space representation for unbounded vector state spaces / K. Hiraishi -- Modeling and analysis of distributed program execution in BETA using colored petri nets / J.B. Jorgensen, K.H. Mortensen -- Reachability analysis based on structured representations / P. Kemper -- Arc-typed petri nets / E. Kindler, R. Walter -- The SEA language for system engineering and animation / B. Kleinjohann, E. Kleinjohann, J. Tacken -- A new iterative numerical solution algorithm for a class of stochastic petri nets / W. Knaup -- A structural approach for the analysis of petri nets by reduced unfoldings / A. Kondratyev [and others] -- An algorithm to verify if a net is regular / A. Kovalyov -- The consistent use of names and polymorphism in the definition of object petri nets / C. Lakos -- Designing a security system by means of colored petri nets / J. Linneberg Rasmussen, M. Singh -- ".
catalog tableOfContents "Modeling and analysing DART systems through high-level petri nets / L. Nigro, F. Pupo -- {SC}*ECS: a class of modular and hierarchical cooperating systems / L. Recalde, E. Teruel, M. Silva -- Behavioral equivalence for infinite systems / K. Sunesen, M. Nielsen -- Topological aspects of traces / J. van Oosten -- Asynchronous control device design by net model behavior simulation / V.I. Varshavsky, V.B. Marakhovsky -- Covering step graph / F. Vernadat, P. Azema, F. Michel -- Performance analysis of a connection management scheme in IWU interconnecting LANs across ATM networks / J. Yuan, L. Liu, Z. Dong.".
catalog tableOfContents "Modeling concurrent systems / G. Agha -- Temporal uncertainty and fuzzy-timing high-level petri nets / T. Murata -- Compositionality in state space verification methods / A. Valmari -- On liveness and controlers siphons in petri nets / K. Barkaoui, J.-F. Pradat-Peyre -- Behavioral and structural composition rules preserving liveness by synchronization for colored FIFO Nets / M.-L. Benalycherif, C. Girault -- High-level synthesis of synchronous parallel controlers / K. Bilinski, E.L. Dagless -- Non sequential semantics for contextual P/T nets / N. Busi, G.M. Pinna -- The PSR methodology / S. Donatelli, G. Franceschinis -- Designing and verifying a communications gateway using colored petri nets and design/CPN / D.J. Floreani, J. Billington, A. Dadej -- Expected impulse rewards in Markov regenerative stochastic petri nets / R. German [and others] -- Asynchronous composition of high level petri nets / S. Haddad, P. Moreaux -- ".
catalog title "Application and theory of Petri Nets, 1996 : 17th International Conference, Osaka, Japan, June 24-28, 1996 : proceedings / Jonathan Billington, Wolfgang Reisig, eds.".
catalog type "Conference proceedings. fast".
catalog type "Osaka (1996) swd".
catalog type "text".