MARC details
| 000 -LIDER |
|---|
| fixed length control field |
05153nam a22006375i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
978-3-031-48278-6 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250516155949.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 |
240123s2024 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783031482786 |
| -- |
978-3-031-48278-6 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.M35 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA297.4 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYAM |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
PBD |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM014000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYAM |
| Source |
thema |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
PBD |
| Source |
thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004.0151 |
| Edition number |
23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Best, Eike. |
| Relator term |
author. |
| Relator code |
aut |
| -- |
http://id.loc.gov/vocabulary/relators/aut |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Petri Net Primer |
| Medium |
[electronic resource] : |
| Remainder of title |
A Compendium on the Core Model, Analysis, and Synthesis / |
| Statement of responsibility, etc. |
by Eike Best, Raymond Devillers. |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
1st ed. 2024. |
| 264 #1 - |
|---|
| -- |
Cham : |
| -- |
Springer Nature Switzerland : |
| -- |
Imprint: Birkhäuser, |
| -- |
2024. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
XIII, 545 p. 241 illus., 31 illus. in color. |
| Other physical details |
online resource. |
| 336 ## - |
|---|
| -- |
text |
| -- |
txt |
| -- |
rdacontent |
| 337 ## - |
|---|
| -- |
computer |
| -- |
c |
| -- |
rdamedia |
| 338 ## - |
|---|
| -- |
online resource |
| -- |
cr |
| -- |
rdacarrier |
| 347 ## - |
|---|
| -- |
text file |
| -- |
PDF |
| -- |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Computer Science Foundations and Applied Logic, |
| International Standard Serial Number |
2731-5762 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Preface -- 1 First Steps in Petri Nets -- 2 Languages of Petri Nets -- 3 Reachability and Coverability -- 4 Linear-algebraic Structure of Petri Nets -- 5 Graph-theoretical Structure of Petri Nets -- 6 More Structure Theory -- 7 Program Verification Using Traps -- 8 Fairness, Simulations, and Inhibitor Arcs -- 9 Unfoldings and Reachability Checking -- 10 Petri Net Computers -- 11 Synthesis of Petri Nets from Labelled Transition Systems -- 12 Persistent Transition Systems and Choice-free Petri Nets -- 13 Divide-and-Conquer Methods for Synthesis -- 14 Marked Graph Synthesis -- 15 Bounded Choice-free Net Synthesis -- 16 Model Checking Safe, Strongly Persistent Petri Nets -- 17 Semilinearity -- 18 Decidability of the reachability problem -- 19 The Box Algebra 1/2: Refinement and Recursion -- 20 The Box Algebra 2/2: Iteration and Data -- 21 High-level Petri Nets -- Biblyography -- Index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources. Although the dynamic properties of such systems may be very complex, they may sometimes be connected to the static structure of a Petri net. Many properties are decidable, but their complexity may be huge. It is often opportune to restrict oneself to classes of systems, to partial algorithms, and to similar but simpler properties. Instead of analysing a given system, it is also possible to search for a system satisfying some desired properties by construction. This comprehensive textbook/reference presents and discusses these issues in-depth in the context of one of the most fundamental Petri net models, called place/transition nets. The presentation is fortified by means of many examples and worked exercises. Among topics addressed: • In which order may actions may be generated and scheduled? • What states and configurations may be reached in a concurrent system? • Which interesting classes of systems can be analysed relatively efficiently? • Is it possible to synthesise a system of some class from its behaviour? • How can systems be represented algebraically, compositionally, and concisely? This unique text, based on introductory as well as on advanced courses on distributed systems, will serve as an invaluable guide for students and (future) researchers interested in theoretical-as well as in practical-aspects of Petri nets and related system models. Eike Best has been a full professor (now retired) affiliated to Carl von Ossietzky Universität Oldenburg, Germany. Raymond Devillers has been a full professor (now retired) affiliated to Université Libre de Bruxelles, Belgium. The authors have a long record as collaborators in the fields of Petri nets and the semantics of concurrency. |
| 541 ## - IMMEDIATE SOURCE OF ACQUISITION NOTE |
|---|
| Owner |
UABC ; |
| Method of acquisition |
Perpetuidad |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Computer science |
| Subdivisión general |
Mathematics. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Discrete mathematics. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Dynamical systems. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Mathematical models. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Stochastic models. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Discrete Mathematics in Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Dynamical Systems. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Mathematical Modeling and Industrial Mathematics. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Stochastic Modelling. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Devillers, Raymond. |
| Relator term |
author. |
| Relator code |
aut |
| -- |
http://id.loc.gov/vocabulary/relators/aut |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783031482779 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783031482793 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783031482809 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Computer Science Foundations and Applied Logic, |
| -- |
2731-5762 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Public note |
Libro electrónico |
| Uniform Resource Identifier |
http://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-48278-6 |
| 912 ## - |
|---|
| -- |
ZDB-2-SCS |
| 912 ## - |
|---|
| -- |
ZDB-2-SXCS |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
Libro Electrónico |
