ACSD 2011: Eleventh International Conference on Application of Concurrency to System Design : proceedings : 20-24 June 2011, Newcastle Upon Tyne, U.K |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2011 |
Disciplina | 004/.35 |
Soggetto topico |
System design
Parallel processing (Electronic computers) Engineering & Applied Sciences Computer Science |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Application of concurrency to system design |
Record Nr. | UNISA-996206628303316 |
[Place of publication not identified], : IEEE, 2011 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings / / edited by Didier Buchs, Josep Carmona |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Descrizione fisica | 1 online resource (487 pages) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Data structures (Computer science) Information theory Computer science—Mathematics Discrete mathematics Software engineering Computer Science Logic and Foundations of Programming Design and Analysis of Algorithms Data Structures and Information Theory Discrete Mathematics in Computer Science Software Engineering |
ISBN | 3-030-76983-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynotes -- Topics in Region Theory and Synthesis Problems -- Flat Petri Nets -- Application of Concurrency to System Design -- Cost and Quality in Crowdsourcing Workflows -- Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design -- A Turn-Based Approach for Qualitative Time Concurrent Games -- Games -- Canonical Representations for Direct Generation of Strategies in High-level Petri Games -- Automatic Synthesis of Transiently Correct Network Updates via Petri Games -- Verification -- Computing Parameterized Invariants of Parameterized Petri Nets -- On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets -- Skeleton Abstraction for Universal Temporal Properties -- Reduction Using Induced Subnets To Systematically Prove Properties For Free-Choice Nets -- Model Checking of Synchronized Domain-Specific Multi-Formalism Models Using High-Level Petri Nets -- Synthesis and Mining -- Edge and event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable -- Synthesis of (Choice-Free) Reset Nets -- Synthesis of Petri Nets with restricted place-environments: classical and parameterized -- Discovering Stochastic Process Models By Reduction and Abstraction -- Reachability and Partial Order -- Efficient Algorithms for Three Reachability Problems in Safe Petri Nets -- A Lazy Query Scheme for Reachability Analysis in Petri nets -- Abstraction-based Incremental Inductive Coverability for Petri nets -- Firing Partial Orders in a Petri Net -- Semantics -- Deterministic concurrent systems -- Deciphering the Co-car Anomaly of Circular Traffic Queues using Petri Nets -- Tools -- Cortado — An Interactive Tool for Data-Driven Process Discovery and Modeling -- PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data. |
Record Nr. | UNISA-996464511603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Application and Theory of Petri Nets and Concurrency : 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings / / edited by Didier Buchs, Josep Carmona |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Descrizione fisica | 1 online resource (487 pages) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Data structures (Computer science) Information theory Computer science—Mathematics Discrete mathematics Software engineering Computer Science Logic and Foundations of Programming Design and Analysis of Algorithms Data Structures and Information Theory Discrete Mathematics in Computer Science Software Engineering Xarxes de Petri Arquitectura d'ordinadors |
Soggetto genere / forma |
Congressos
Llibres electrònics |
ISBN | 3-030-76983-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynotes -- Topics in Region Theory and Synthesis Problems -- Flat Petri Nets -- Application of Concurrency to System Design -- Cost and Quality in Crowdsourcing Workflows -- Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design -- A Turn-Based Approach for Qualitative Time Concurrent Games -- Games -- Canonical Representations for Direct Generation of Strategies in High-level Petri Games -- Automatic Synthesis of Transiently Correct Network Updates via Petri Games -- Verification -- Computing Parameterized Invariants of Parameterized Petri Nets -- On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets -- Skeleton Abstraction for Universal Temporal Properties -- Reduction Using Induced Subnets To Systematically Prove Properties For Free-Choice Nets -- Model Checking of Synchronized Domain-Specific Multi-Formalism Models Using High-Level Petri Nets -- Synthesis and Mining -- Edge and event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable -- Synthesis of (Choice-Free) Reset Nets -- Synthesis of Petri Nets with restricted place-environments: classical and parameterized -- Discovering Stochastic Process Models By Reduction and Abstraction -- Reachability and Partial Order -- Efficient Algorithms for Three Reachability Problems in Safe Petri Nets -- A Lazy Query Scheme for Reachability Analysis in Petri nets -- Abstraction-based Incremental Inductive Coverability for Petri nets -- Firing Partial Orders in a Petri Net -- Semantics -- Deterministic concurrent systems -- Deciphering the Co-car Anomaly of Circular Traffic Queues using Petri Nets -- Tools -- Cortado — An Interactive Tool for Data-Driven Process Discovery and Modeling -- PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data. |
Record Nr. | UNINA-9910485588703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Business Process Management [[electronic resource] ] : 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings / / edited by Josep Carmona, Gregor Engels, Akhil Kumar |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXI, 341 p. 115 illus.) |
Disciplina | 658.4038 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Information storage and retrieval
Software engineering Algorithms Mathematical logic Computer logic Computer science—Mathematics Information Storage and Retrieval Software Engineering Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Logics and Meanings of Programs Discrete Mathematics in Computer Science |
ISBN | 3-319-65000-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Process modeling -- Process mining -- Assorted BPM topics -- Decisions and understanding -- Process knowledge. . |
Record Nr. | UNISA-996466200303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Business Process Management [[electronic resource] ] : 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings / / edited by Josep Carmona, Gregor Engels, Akhil Kumar |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXI, 341 p. 115 illus.) |
Disciplina | 658.4038 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Information storage and retrieval
Software engineering Algorithms Mathematical logic Computer logic Computer science—Mathematics Information Storage and Retrieval Software Engineering Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Logics and Meanings of Programs Discrete Mathematics in Computer Science |
ISBN | 3-319-65000-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Process modeling -- Process mining -- Assorted BPM topics -- Decisions and understanding -- Process knowledge. . |
Record Nr. | UNINA-9910482973503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Business Process Management Forum [[electronic resource] ] : BPM Forum 2017, Barcelona, Spain, September 10-15, 2017, Proceedings / / edited by Josep Carmona, Gregor Engels, Akhil Kumar |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIV, 193 p. 52 illus.) |
Disciplina | 658.4038011 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Management information systems
Industrial management Application software Data mining Business Process Management Computer Appl. in Administrative Data Processing Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Business Information Systems |
ISBN | 3-319-65015-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Models and Metrics -- Mining and compliance -- BPM Miscellany. |
Record Nr. | UNINA-9910254918403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Process Mining Handbook |
Autore | Aalst Wil van der |
Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
Descrizione fisica | 1 online resource (503 pages) |
Altri autori (Persone) | CarmonaJosep |
Collana | Lecture Notes in Business Information Processing Ser. |
Soggetto topico |
Business mathematics & systems
Information technology: general issues Data mining |
Soggetto non controllato |
business process management
process mining process discovery conformance checking knowledge graphs data science data mining stream data management RPA - Robotic Process Automation |
ISBN | 3-031-08848-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910580293803321 |
Aalst Wil van der
![]() |
||
Cham, : Springer Nature, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Process Mining Handbook |
Autore | Aalst Wil van der |
Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
Descrizione fisica | 1 online resource (503 pages) |
Altri autori (Persone) | CarmonaJosep |
Collana | Lecture Notes in Business Information Processing Ser. |
Soggetto topico |
Business mathematics & systems
Information technology: general issues Data mining |
Soggetto non controllato |
business process management
process mining process discovery conformance checking knowledge graphs data science data mining stream data management RPA - Robotic Process Automation |
ISBN | 3-031-08848-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996478861403316 |
Aalst Wil van der
![]() |
||
Cham, : Springer Nature, 2022 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|