LEADER 02823nam 2200625 450 001 9910788563703321 005 20230803200346.0 010 $a3-11-038416-7 010 $a3-11-035021-1 024 7 $a10.1515/9783110350210 035 $a(CKB)3280000000039067 035 $a(EBL)1524371 035 $a(SSID)ssj0001353189 035 $a(PQKBManifestationID)12496833 035 $a(PQKBTitleCode)TC0001353189 035 $a(PQKBWorkID)11313536 035 $a(PQKB)10391861 035 $a(MiAaPQ)EBC1524371 035 $a(DE-B1597)214596 035 $a(OCoLC)894991708 035 $a(OCoLC)896804492 035 $a(DE-B1597)9783110350210 035 $a(Au-PeEL)EBL1524371 035 $a(CaPaEBR)ebr11010325 035 $a(CaONFJC)MIL806640 035 $a(OCoLC)898769082 035 $a(EXLCZ)993280000000039067 100 $a20150209h20142014 uy 0 101 0 $aeng 135 $aur|nu---|u||u 181 $ctxt 182 $cc 183 $acr 200 10$aOptofluidics systems technology /$fDominik G. Rabus 210 1$aBerlin, Germany :$cDe Gruyter,$d2014. 210 4$dİ2014 215 $a1 online resource (356 p.) 300 $aDescription based upon print version of record. 311 $a3-11-033602-2 320 $aIncludes bibliographical references and index. 327 $tFront matter --$tForeword --$tList of abbreviations --$tContents --$t1 Introduction --$t2 Materials --$t3 Photonics --$t4 Fluidics and fluid control systems --$t5 Biology --$t6 Sensors for Optofluidic systems --$t7 Optofluidic system technology --$t8 Outlook --$t9 Glossary of Optofluidics terms and definitions --$t10 Chemical resistance properties of materials --$tInternational standards and regulations --$tBibliography --$tIndex 330 $aAt the cross-roads of biology, microfluidics and photonics the field of optofluidics allows for quick and compact solutions for medical and biochemical sensing and manipulation. This book is concerned with the ingredients for a polymer-based platform which is able to culture and pattern life cells for a sufficient period of time, enables the integration of photonic devices, and provides means to integrate electronic readout. Thus - in its cross-discipline approach - it touches on aspects of photonics, nanofabrication, and biological methods alike. 606 $aOptofluidics 610 $aOptofluidics, Microfluidics, Clinical diagnostics, Flow cytometry, Chips, Lithography, Spectroscopy, Waveguides. 615 0$aOptofluidics. 676 $a629.8/042 686 $aUF 4500$2rvk 700 $aRabus$b D. G$g(Dominik G.),$01464332 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910788563703321 996 $aOptofluidics systems technology$93673932 997 $aUNINA LEADER 04783nam 22008175 450 001 9910484784803321 005 20251226202617.0 010 $a3-642-02424-6 024 7 $a10.1007/978-3-642-02424-5 035 $a(CKB)1000000000753956 035 $a(SSID)ssj0000316247 035 $a(PQKBManifestationID)11239003 035 $a(PQKBTitleCode)TC0000316247 035 $a(PQKBWorkID)10263465 035 $a(PQKB)10440583 035 $a(DE-He213)978-3-642-02424-5 035 $a(MiAaPQ)EBC3064309 035 $a(PPN)136306837 035 $a(EXLCZ)991000000000753956 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aApplications and Theory of Petri Nets $e30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings /$fedited by Giuliana Franceschinis, Karsten Wolf 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XII, 353 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5606 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-02423-8 320 $aIncludes bibliographical references and index. 327 $aInvited Papers -- Component-Based Construction of Heterogeneous Real-Time Systems in Bip -- Unifying Petri Net Semantics with Token Flows -- Reaction Systems: A Formal Framework for Processes -- Full Papers -- Simple Composition of Nets -- Towards a Standard for Modular Petri Nets: A Formalisation -- Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication -- Pomset Languages of Finite Step Transition Systems -- Deficiency Zero Petri Nets and Product Form -- Bisimilarity Minimization in O(m logn) Time -- P-Semiflow Computation with Decision Diagrams -- Orthomodular Lattices in Occurrence Nets -- Hasse Diagram Generators and Petri Nets -- Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed -- Oclets ? Scenario-Based Modeling with Petri Nets -- Hornets: Nets within Nets Combined with Net Algebra -- Monotonicity in Service Orchestrations -- Compositional Service Trees -- Tool Papers -- ASAP: An Extensible Platform for State Space Analysis -- The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator -- DSSZ-MC ? A Tool for Symbolic Analysis of Extended Petri Nets -- Workcraft ? A Framework for Interpreted Graph Models -- PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description. 330 $aThis book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2009, held in Paris, France, in June 2009. The 19 revised papers classified as theory papers (13), application papers (1), and tool papers (5) were carefully reviewed and selected from 46 submissions. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed, novel tools as well as substantial enhancements to existing tools are presented. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5606 606 $aComputer science 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aAlgorithms 606 $aSoftware engineering 606 $aMachine theory 606 $aTheory of Computation 606 $aDiscrete Mathematics in Computer Science 606 $aAlgorithms 606 $aSoftware Engineering 606 $aFormal Languages and Automata Theory 606 $aComputer Science Logic and Foundations of Programming 615 0$aComputer science. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aAlgorithms. 615 0$aSoftware engineering. 615 0$aMachine theory. 615 14$aTheory of Computation. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aAlgorithms. 615 24$aSoftware Engineering. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a004.0151 701 $aFranceschinis$b Guiliana$01764184 701 $aWolf$b Karsten$01228422 712 12$aInternational Conference on Applications and Theory of Petri Nets and Other Models of Concurrency 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484784803321 996 $aApplications and Theory of Petri Nets$94520644 997 $aUNINA