Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	November 2003
Genre:	EDV / Informatik
	C / Computation by Abstract Devices / Computer architecture & logic design / Computer Communication Networks / Computer communication systems / Computer logic / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Computer Science, general / Computer science—Mathematics / Computers / Discrete Mathematics / Discrete Mathematics in Computer Science / Diskrete Mathematik / Informatik / Logics and Meanings of Programs / Mathematik für Informatiker / Maths for computer scientists / Network hardware / Netzwerk-Hardware / Software Engineering / Theoretische Informatik / Theory of Computation mehr...
ISBN:	9783540205388
EAN-Code:	9783540205388
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#2472 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	1460 gr
Seiten:	468
Illustration:	VIII, 468 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.