Petri net technology for communication based systems

En savoir plus sur le livre

InhaltsverzeichnisThe 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.