|
Showing 1 - 8 of
8 matches in All Departments
This book constitutes the proceedings of the 38th International
Conference on Application and Theory of Petri Nets and Concurrency,
PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets
2017 is co-located with the Application of Concurrency to System
Design Conference, ACSD 2017. The 16 papers, 9 theory papers, 4
application papers, and 3 tool papers, with 1 short abstract and 3
extended abstracts of invited talks presented together in this
volume were carefully reviewed and selected from 33 submissions.
The focus of the conference is on following topics: Simulation of
Colored Petri Nets, Petri Net Tools.- Model Checking, Liveness and
Opacity, Stochastic Petri Nets, Specific Net Classes, and Petri
Nets for Pathways.
|
Business Process Management - International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings (Paperback, 2003 ed.)
Wil Van Der Aalst, Arthur ter Hofstede, Mathias Weske
|
R3,614
Discovery Miles 36 140
|
Ships in 10 - 15 working days
|
The refereed proceedings of the International Conference on Business Process Management, BPM 2003, held in Eindhoven, The Netherlands, in June 2003. The 25 revised full papers presented together with an introductory survey article were carefully reviewed and selected from 77 submissions. Among the issues addressed are Web services, workflow modeling, business process modeling, collaborative computing, computer-supported collaborative work, workflow patterns, business process engineering, business process patterns, workflow systems, Petri nets, process services, business process reengineering, and business process management tools.
The refereed proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN 2003, held in Eindhoven, The Netherlands, in June 2003. The 25 revised full papers presented together with 6 invited contributions were carefully reviewed and selected from 77 submissions. All current issues on research and development in the area of Petri nets are addressed, in particular concurrent systems design and analysis, model checking, networking, business process modeling, formal methods in software engineering, agent systems, systems specification, systems validation, discrete event systems, protocols, and prototyping.
Business processes are among today's hottest topics in the science and practice of information systems. Business processes and workflow management systems attract a lot of attention from R&D professionals in software engineering, information systems, business-oriented computer science, and management sciences.The carefully reviewed chapters contributed to this state-of-the-art survey by internationally leading scientists consolidate work presented at various workshops on the topic organized by the editors of the book in the past few years. The book spans the whole spectrum of business process management ranging from theoretical aspects, conceptual models, and application scenarios to implementation issues. It will become a valuable source of reference and information for R&D professionals active in the fascinating interdisciplinary area of business process management and for ambitious practitioners.
|
Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings (Paperback, 1st ed. 2019)
Reiner Hahnle, Wil Van Der Aalst
|
R1,736
Discovery Miles 17 360
|
Ships in 10 - 15 working days
|
This book is Open Access under a CC BY licence. This book
constitutes the proceedings of the 22nd International Conference on
Fundamental Approaches to Software Engineering, FASE 2019, which
took place in Prague, Czech Republic in April 2019, held as Part of
the European Joint Conferences on Theory and Practice of Software,
ETAPS 2019.The 24 papers presented in this volume were carefully
reviewed and selected from 94 submissions. The papers are organized
in topical sections named: software verification; model-driven
development and model transformation; software evolution and
requirements engineering; specification, design, and implementation
of particular classes of systems; and software testing.
Business managers are striving to move toward process-centric
organizations, but the challenge remains in ensuring adoption of a
business process culture. The Handbook of Research on Business
Process Modeling aids managers in the transformation of
organizations into world-class competitors through business process
applications. A useful resource for business leaders, field
researchers, and academicians in management, this reference book
contains a repository to the most relevant and up-to-date
information on business process modeling.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Hampstead
Diane Keaton, Brendan Gleeson, …
DVD
R66
Discovery Miles 660
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|