02108nam--2200409---450-9900003509502033160035095USA010035095(ALEPH)000035095USA01003509520010307d1790----km-y0itay0103----balatIT||||||||001yyCorpus iuris civilis romani, in quo institutiones, digesta ad codicem florentinum emendata, codex et novellae, nec non Justiniani edicta, Leonis et aliorum imperatorum novellae, canones apostolorum, feudorum libri, Leges 12.Tabb. et alia ad juriprudentia ante-Justinianeam pertinentia scripta cum optimis quibusque editionibus collata exhibenturaddito textu graeco in Digesti, codice ac legibus, cum notis integris Dionysii Gothofredi...observationes singulares, remissiones et notes juris civilis, canonici et novissimi ac in praxi recepti differentiam continentes accesserunt, opera et studio Simonis Van LeeuwenNeapolisCajetani Castellani1790-17934 v.fol.(41x26 cm)Tomus primus : Qui amplectitur institutiones e primos libros 27.Pandectarum. - Tomus Alter-Tomus Quartus : Editio nova omni qua liquit cura atque labore indefesso, in notis praecipue accurate et diligenter examinatis a quamplurimis mendis falsisque allegationibus repurgata et correcta ; et in quatuor tomos distributaCorpus iuris civilis55359340.54GOTHOFREDUS,DionysiiVAN LEEUWEN,SimoIUSTINIANUS Iimperatore d'Oriente483?-565990000350950203316F.V./IG XVII P 21F.V./IG XVII PBKGIUFondo anticoTAMI4020010307USA011143TAMI4020010307USA011145TAMI4020010307USA011546TAMI4020010319USA011032PATTY9020011001USA01140020020403USA011643PATRY9020040406USA011624Corpus Iuris Civilis55359UNISA04003nam 22007215 450 99646566960331620230221174736.01-280-38721-197866135651363-642-13675-310.1007/978-3-642-13675-7(CKB)2670000000028915(SSID)ssj0000446300(PQKBManifestationID)11282004(PQKBTitleCode)TC0000446300(PQKBWorkID)10496214(PQKB)11377637(DE-He213)978-3-642-13675-7(MiAaPQ)EBC3065414(PPN)149063938(EXLCZ)99267000000002891520100611d2010 u| 0engurnn|008mamaatxtccrApplications and Theory of Petri Nets[electronic resource] 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings /edited by Johan Lilius, Wojciech Penczek1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (X, 329 p. 129 illus.) Theoretical Computer Science and General Issues,2512-2029 ;6128Bibliographic Level Mode of Issuance: Monograph3-642-13674-5 Includes bibliographical references and index.Invited Papers -- Instance Deadlock: A Mystery behind Frozen Programs -- Some Thoughts on Behavioral Programming -- Petri Nets with Localities and Testing -- A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future -- Full Papers -- Can Stubborn Sets Be Optimal? -- Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition -- Canonical Transition Set Semantics for Petri Nets -- A Characterization of Combined Traces Using Labeled Stratified Order Structures -- Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets -- The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification -- Factorization Properties of Symbolic Unfoldings of Colored Petri Nets -- Forward Analysis for Petri Nets with Name Creation -- Learning Workflow Petri Nets -- Process Mining from a Basis of State Regions -- Separability in Persistent Petri Nets -- New Algorithms for Deciding the Siphon-Trap Property -- Tool Papers -- AlPiNA: A Symbolic Model Checker -- Wendy: A Tool to Synthesize Partners for Services -- GreatSPN Enhanced with Decision Diagram Data Structures -- PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language.Theoretical Computer Science and General Issues,2512-2029 ;6128Computer scienceComputer programmingSoftware engineeringCompilers (Computer programs)Theory of ComputationProgramming TechniquesSoftware EngineeringComputer Science Logic and Foundations of ProgrammingCompilers and InterpretersComputer science.Computer programming.Software engineering.Compilers (Computer programs).Theory of Computation.Programming Techniques.Software Engineering.Computer Science Logic and Foundations of Programming.Compilers and Interpreters.004.0151135Lilius Johanedthttp://id.loc.gov/vocabulary/relators/edtPenczek Wojciechedthttp://id.loc.gov/vocabulary/relators/edtInternational Conference on Applications and Theory of Petri Nets and Other Models of ConcurrencyBOOK996465669603316Applications and Theory of Petri Nets774213UNISA