Nested nets for adaptive systems
| Autor: | Hee, van, K.M., Lomazova, I.A., Oanea, O.I., Serebrenik, A., Sidorova, N., Voorhoeve, M., Donatelli, S., Thiagarajan, P.S. |
|---|---|
| Přispěvatelé: | Process Science |
| Jazyk: | angličtina |
| Rok vydání: | 2006 |
| Předmět: |
Collaborative software
Correctness Theoretical computer science Computer science business.industry Distributed computing Concurrency ComputerApplications_COMPUTERSINOTHERSYSTEMS 0102 computer and information sciences 02 engineering and technology Petri net Process architecture 01 natural sciences Workflow engine Workflow 010201 computation theory & mathematics Adaptive system 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing business |
| Zdroj: | Petri Nets and Other Models of Concurrency-ICATPN 2006 ISBN: 9783540346999 ICATPN Petri Nets and other Models of Concurrency-ICATPN'06 (Proceedings 27th International Conference on Applications and Theory of Petri Nets (Turku, Finland, June 26-30, 2006), 241-260 STARTPAGE=241;ENDPAGE=260;TITLE=Petri Nets and other Models of Concurrency-ICATPN'06 (Proceedings 27th International Conference on Applications and Theory of Petri Nets (Turku, Finland, June 26-30, 2006) |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/11767589_14 |
| Popis: | We consider nested nets, i.e. Petri nets in which tokens can be Petri nets themselves. We study the value semantics of nested nets rather than the reference semantics, and apply nested nets to model adaptive workflow, i.e. flexible workflow that can be modified during the execution. A typical domain with a great need for this kind of workflow is health care, from which domain we choose the running example. To achieve the desired flexibility we allow transitions that create new nets out of the existing ones. Therefore, nets with completely new structure can be created at the run time. We show that by careful selection of basic operations on the nets we can obtain a powerful modeling formalism that enforces correctness of models. Moreover, the formalism can be implemented based on existing workflow engines. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|