Central Library

Transactions on Petri Nets and Other Models of Concurrency VIII (Record no. 92289)

000 -LEADER
fixed length control field 03679nam a22005415i 4500
001 - CONTROL NUMBER
control field 978-3-642-40465-8
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240730184326.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 130805s2013 gw | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783642404658
-- 978-3-642-40465-8
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-642-40465-8
Source of number or code doi
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.758
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051230
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ
Source thema
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1
Edition number 23
245 10 - TITLE STATEMENT
Title Transactions on Petri Nets and Other Models of Concurrency VIII
Medium [electronic resource] /
Statement of responsibility, etc. edited by Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev.
250 ## - EDITION STATEMENT
Edition statement 1st ed. 2013.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Berlin, Heidelberg :
Name of producer, publisher, distributor, manufacturer Springer Berlin Heidelberg :
-- Imprint: Springer,
Date of production, publication, distribution, manufacture, or copyright notice 2013.
300 ## - PHYSICAL DESCRIPTION
Extent XVIII, 203 p. 85 illus.
Other physical details online resource.
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
Encoding format PDF
Source rda
490 1# - SERIES STATEMENT
Series statement Transactions on Petri Nets and Other Models of Concurrency,
International Standard Serial Number 1867-7746 ;
Volume/sequential designation 8100
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Comparing Metabolic Pathways through Reactions and Potential Fluxes -- Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow -- Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms -- From Code to Coloured Petri Nets: Modelling Guidelines -- Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets -- When Can We Trust a Third Party?: A Soundness Perspective -- Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle -- Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators -- Model-Driven Middleware Support for Team-Oriented Process Management -- Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching.
520 ## - SUMMARY, ETC.
Summary, etc. The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: biological systems, communication protocols, business processes, collaborative team work, and Petri net education. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Software engineering.
9 (RLIN) 4138
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer science.
9 (RLIN) 9832
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Software Engineering.
9 (RLIN) 4138
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer Science Logic and Foundations of Programming.
9 (RLIN) 42203
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Koutny, Maciej.
Relator term editor.
Relationship edt
-- http://id.loc.gov/vocabulary/relators/edt
9 (RLIN) 135242
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name van der Aalst, Wil M. P.
Relator term editor.
Relationship edt
-- http://id.loc.gov/vocabulary/relators/edt
9 (RLIN) 135243
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Yakovlev, Alex.
Relator term editor.
Relationship edt
-- http://id.loc.gov/vocabulary/relators/edt
9 (RLIN) 135244
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
9 (RLIN) 135245
773 0# - HOST ITEM ENTRY
Title Springer Nature eBook
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783642404641
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783642404665
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Transactions on Petri Nets and Other Models of Concurrency,
International Standard Serial Number 1867-7746 ;
Volume/sequential designation 8100
9 (RLIN) 135246
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1007/978-3-642-40465-8">https://doi.org/10.1007/978-3-642-40465-8</a>
912 ## -
-- ZDB-2-SCS
912 ## -
-- ZDB-2-SXCS
912 ## -
-- ZDB-2-LNC
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type eBooks-Lecture Notes in CS

No items available.