The Resource Petri Net Technology for Communication-Based Systems : Advances in Petri Nets, edited by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber, (electronic resource)

Petri Net Technology for Communication-Based Systems : Advances in Petri Nets, edited by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber, (electronic resource)

Label
Petri Net Technology for Communication-Based Systems : Advances in Petri Nets
Title
Petri Net Technology for Communication-Based Systems
Title remainder
Advances in Petri Nets
Statement of responsibility
edited by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber
Contributor
Editor
Editor
Subject
Language
  • eng
  • eng
Member of
Dewey number
004.6
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsedt
  • U5Be8C1nKlc
  • vuFvLWNws-o
  • 3e3aDclXWGQ
  • jzUHAKiUcAs
Image bit depth
0
Language note
English
LC call number
QA76.758
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
  • Ehrig, Hartmut.
  • Reisig, Wolfgang.
  • Rozenberg, Grzegorz.
  • Weber, Herbert.
Series statement
Lecture Notes in Computer Science,
Series volume
2472
http://library.link/vocab/subjectName
  • Software engineering
  • Computer science
  • Computer communication systems
  • Computers
  • Computer logic
  • Computer science—Mathematics
  • Software Engineering
  • Computer Science, general
  • Computer Communication Networks
  • Computation by Abstract Devices
  • Logics and Meanings of Programs
  • Discrete Mathematics in Computer Science
Label
Petri Net Technology for Communication-Based Systems : Advances in Petri Nets, edited by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber, (electronic resource)
Instantiates
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Bibliography note
Includes bibliographical references at the end of each chapters and index
Carrier category
online resource
Carrier category code
  • cr
Color
not applicable
Content category
text
Content type code
  • txt
Contents
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY -- Application Development Assistance with the Petri Net Baukasten -- Petri Net Transformations in the ?Petri Net Baukasten? -- Four Steps Towards Sound Business Process Models -- Generation of Animation Views for Petri Nets in GenGED -- The Petri Net Kernel -- The Petri Net Markup Language -- Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets -- Rule-Based Refinement of Petri Nets: A Survey -- Modelling a Railway Crossing with Message Sequence Charts and Petri Nets -- Quantitative Engineering of Business Processes with VIPbusiness -- Inter-organizational Business Process Management with XML Nets -- Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL -- Open Petri Nets as Semantic Model for Workflow Integration -- Team Automata for CSCW – A Survey – -- Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets -- BASYSNET – An Integrated Approach for Automated Control System Development -- The Electronic Tool Integration Platform (ETI) and the Petri Net Technology -- Inheritance of Business Processes: A Journey Visiting Four Notorious Problems -- A Formal Framework for Petri Net Class Transformations -- Concurrency Based Transition Refinement for the Verification of Distributed Algorithms
Dimensions
unknown
Edition
1st ed. 2003.
Extent
1 online resource (VIII, 468 p.)
File format
multiple file formats
Form of item
online
Isbn
9783540400226
Level of compression
uncompressed
Media category
computer
Media type code
  • c
Other control number
10.1007/b83526
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)1000000000016817
  • (SSID)ssj0000325624
  • (PQKBManifestationID)11232868
  • (PQKBTitleCode)TC0000325624
  • (PQKBWorkID)10325428
  • (PQKB)11065015
  • (DE-He213)978-3-540-40022-6
  • (MiAaPQ)EBC3088843
  • (EXLCZ)991000000000016817
Label
Petri Net Technology for Communication-Based Systems : Advances in Petri Nets, edited by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber, (electronic resource)
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Bibliography note
Includes bibliographical references at the end of each chapters and index
Carrier category
online resource
Carrier category code
  • cr
Color
not applicable
Content category
text
Content type code
  • txt
Contents
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY -- Application Development Assistance with the Petri Net Baukasten -- Petri Net Transformations in the ?Petri Net Baukasten? -- Four Steps Towards Sound Business Process Models -- Generation of Animation Views for Petri Nets in GenGED -- The Petri Net Kernel -- The Petri Net Markup Language -- Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets -- Rule-Based Refinement of Petri Nets: A Survey -- Modelling a Railway Crossing with Message Sequence Charts and Petri Nets -- Quantitative Engineering of Business Processes with VIPbusiness -- Inter-organizational Business Process Management with XML Nets -- Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL -- Open Petri Nets as Semantic Model for Workflow Integration -- Team Automata for CSCW – A Survey – -- Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets -- BASYSNET – An Integrated Approach for Automated Control System Development -- The Electronic Tool Integration Platform (ETI) and the Petri Net Technology -- Inheritance of Business Processes: A Journey Visiting Four Notorious Problems -- A Formal Framework for Petri Net Class Transformations -- Concurrency Based Transition Refinement for the Verification of Distributed Algorithms
Dimensions
unknown
Edition
1st ed. 2003.
Extent
1 online resource (VIII, 468 p.)
File format
multiple file formats
Form of item
online
Isbn
9783540400226
Level of compression
uncompressed
Media category
computer
Media type code
  • c
Other control number
10.1007/b83526
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)1000000000016817
  • (SSID)ssj0000325624
  • (PQKBManifestationID)11232868
  • (PQKBTitleCode)TC0000325624
  • (PQKBWorkID)10325428
  • (PQKB)11065015
  • (DE-He213)978-3-540-40022-6
  • (MiAaPQ)EBC3088843
  • (EXLCZ)991000000000016817

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...