Petri Net Technology for Communication-Based Systems [electronic resource] : Advances in Petri Nets /
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.
Main Authors: | , , , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
2003
|
Subjects: | Computer science., Computer communication systems., Software engineering., Computers., Computer logic., Computer science, Computer Science., Software Engineering., Computer Science, general., Computer Communication Networks., Computation by Abstract Devices., Logics and Meanings of Programs., Discrete Mathematics in Computer Science., |
Online Access: | http://dx.doi.org/10.1007/b83526 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|