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 |
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 III [[electronic resource]] |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XVII, 275 p.) |
Disciplina | 511.35 |
Altri autori (Persone) |
JensenK <1950-> (Kurt)
BillingtonJonathan KoutnyMaciej <1958-> |
Collana | Transactions on Petri Nets and Other Models of Concurrency |
Soggetto topico |
Mathematical logic
Computers Software engineering Computer programming Mathematical Logic and Foundations Models and Principles Software Engineering Programming Techniques Mathematical Logic and Formal Languages Theory of Computation |
ISBN | 3-642-04856-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Designing a Workflow System Using Coloured Petri Nets -- From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems -- Soundness of Workflow Nets with Reset Arcs -- Parameterised Coloured Petri Net Channel Models -- On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol -- Modelling Mobile IP with Mobile Petri Nets -- A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example -- The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection -- Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language -- On Bisimulation Theory in Linear Higher-Order ?-Calculus. |
Record Nr. | UNISA-996465909003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Transactions on petri nets and other models of concurrency III / / editor-in-chief, Kurt Jensen ; guest editor, Jonathan Billington, Maciej Koutny |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin ; ; London, : Springer, 2009 |
Descrizione fisica | 1 online resource (XVII, 275 p.) |
Disciplina | 511.35 |
Altri autori (Persone) |
BillingtonJonathan
JensenK <1950-> (Kurt) KoutnyMaciej <1958-> |
Collana | Lecture notes in computer science |
Soggetto topico |
Parallel processing (Electronic computers)
Petri nets |
ISBN | 3-642-04856-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Designing a Workflow System Using Coloured Petri Nets -- From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems -- Soundness of Workflow Nets with Reset Arcs -- Parameterised Coloured Petri Net Channel Models -- On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol -- Modelling Mobile IP with Mobile Petri Nets -- A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example -- The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection -- Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language -- On Bisimulation Theory in Linear Higher-Order ?-Calculus. |
Record Nr. | UNINA-9910484551103321 |
Berlin ; ; London, : Springer, 2009 | ||
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.) |
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 |
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 | ||
|