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.
3rd International Conference on Application of Concurrency to System Design
| 3rd International Conference on Application of Concurrency to System Design |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2003 |
| Disciplina | 004.2/1 |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996210758203316 |
| [Place of publication not identified], : IEEE Computer Society Press, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
3rd International Conference on Application of Concurrency to System Design
| 3rd International Conference on Application of Concurrency to System Design |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2003 |
| Disciplina | 004.2/1 |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910872436903321 |
| [Place of publication not identified], : IEEE Computer Society Press, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications and Theory of Petri Nets [[electronic resource] ] : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings / / edited by Johan Lilius, Wojciech Penczek
| Applications and Theory of Petri Nets [[electronic resource] ] : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings / / edited by Johan Lilius, Wojciech Penczek |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 329 p. 129 illus.) |
| Disciplina | 004.0151135 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer programming Software engineering Compilers (Computer programs) Theory of Computation Programming Techniques Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters |
| ISBN |
1-280-38721-1
9786613565136 3-642-13675-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Instance Deadlock: A Mystery behind Frozen Programs -- Some Thoughts on Behavioral Programming -- Petri Nets with Localities and Testing -- A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future -- Full Papers -- Can Stubborn Sets Be Optimal? -- Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition -- Canonical Transition Set Semantics for Petri Nets -- A Characterization of Combined Traces Using Labeled Stratified Order Structures -- Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets -- The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification -- Factorization Properties of Symbolic Unfoldings of Colored Petri Nets -- Forward Analysis for Petri Nets with Name Creation -- Learning Workflow Petri Nets -- Process Mining from a Basis of State Regions -- Separability in Persistent Petri Nets -- New Algorithms for Deciding the Siphon-Trap Property -- Tool Papers -- AlPiNA: A Symbolic Model Checker -- Wendy: A Tool to Synthesize Partners for Services -- GreatSPN Enhanced with Decision Diagram Data Structures -- PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. |
| Record Nr. | UNISA-996465669603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applications and theory of petri nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings / / Johan Lilius, Wojciech Penczek, (eds.)
| Applications and theory of petri nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings / / Johan Lilius, Wojciech Penczek, (eds.) |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (X, 329 p. 129 illus.) |
| Disciplina | 004.0151135 |
| Altri autori (Persone) |
LiliusJohan
PenczekWojciech |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico | Petri nets |
| ISBN |
1-280-38721-1
9786613565136 3-642-13675-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Instance Deadlock: A Mystery behind Frozen Programs -- Some Thoughts on Behavioral Programming -- Petri Nets with Localities and Testing -- A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future -- Full Papers -- Can Stubborn Sets Be Optimal? -- Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition -- Canonical Transition Set Semantics for Petri Nets -- A Characterization of Combined Traces Using Labeled Stratified Order Structures -- Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets -- The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification -- Factorization Properties of Symbolic Unfoldings of Colored Petri Nets -- Forward Analysis for Petri Nets with Name Creation -- Learning Workflow Petri Nets -- Process Mining from a Basis of State Regions -- Separability in Persistent Petri Nets -- New Algorithms for Deciding the Siphon-Trap Property -- Tool Papers -- AlPiNA: A Symbolic Model Checker -- Wendy: A Tool to Synthesize Partners for Services -- GreatSPN Enhanced with Decision Diagram Data Structures -- PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. |
| Record Nr. | UNINA-9910483534503321 |
| New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||