Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Transactions on petri nets and other models of concurrency . II Special issue on concurrency in process-aware information systems / / Kurt Jensen, Wil M.P. van der Aalst (eds.)
| Transactions on petri nets and other models of concurrency . II Special issue on concurrency in process-aware information systems / / Kurt Jensen, Wil M.P. van der Aalst (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XVIII, 297 p.) |
| Disciplina | 005.11 |
| Altri autori (Persone) |
JensenK <1950-> (Kurt)
AalstWil van der |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer multitasking
Information resources management Xarxes de Petri Programació multitasca (Informàtica) Gestió de la informació |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-642-00899-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Process-Aware Information Systems: Lessons to Be Learned from Process Mining -- Model-Based Software Engineering and Process-Aware Information Systems -- Petri Net Transformations for Business Processes – A Survey -- A Look Around the Corner: The Pi-Calculus -- newYAWL: Towards Workflow 2.0 -- A Formal Model for Organisational Structures behind Process-Aware Information Systems -- Flexibility in Process-Aware Information Systems -- Business Grid: Combining Web Services and the Grid -- Does My Service Have Partners? -- Deciding Substitutability of Services with Operating Guidelines -- A Framework for Linking and Pricing No-Cure-No-Pay Services -- Empirical Studies in Process Model Verification -- Process Mining: Overview and Outlook of Petri Net Discovery Algorithms -- Construction of Process Models from Example Runs -- Online Interaction Analysis Framework for Ad-Hoc Collaborative Processes in SOA-Based Environments -- Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. |
| Altri titoli varianti | Special issue on concurrency in process-aware information systems |
| Record Nr. | UNINA-9910484509003321 |
| Berlin ; ; Heidelberg, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on petri nets and other models of concurrency IV / / Kurt Jensen, Susanna Donatelli, Maciej Koutny (eds.)
| Transactions on petri nets and other models of concurrency IV / / Kurt Jensen, Susanna Donatelli, Maciej Koutny (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XVIII, 225 p. 84 illus., 40 illus. in color.) |
| Disciplina | 005.743 |
| Altri autori (Persone) |
JensenK <1950-> (Kurt)
DonatelliSusanna KoutnyMaciej <1958-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer multitasking
Parallel processing (Electronic computers) Petri nets Xarxes de Petri Programació multitasca (Informàtica) Processament en paral·lel (Ordinadors) |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
1-283-47755-6
9786613477552 3-642-18222-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -Vicinity Respecting Homomorphisms for Abstracting System Requirements -- Search-Order Independent State Caching -- Bounded Parametric Model Checking for Elementary Net Systems -- SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets -- Parametric Model Checking with VerICS -- Schedule-Aware Workflow Management Systems -- On-the-Fly Auditing of Business Processes -- Modeling Organizational Units as Modular Components of Systems of Systems -- A Multi-Agent Organizational Framework for Coevolutionary Optimization. |
| Altri titoli varianti |
Transactions on petri nets and other models of concurrency 4
Transactions on petri nets and other models of concurrency four Petri nets and other models of concurrency 4 Petri nets and other models of concurrency four Petri nets and other models of concurrency IV |
| Record Nr. | UNINA-9910483394903321 |
| Berlin ; ; New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
