1: Teoria e analisi / G. W. Brams |
Autore | Brams, G. W. |
Pubbl/distr/stampa | Milano, : Masson Italia, 1985 |
Descrizione fisica | X, 167 p. : ill. ; 24 cm. |
Disciplina |
511
511.35 |
Soggetto topico | Reti di Petri |
ISBN | 8821405826 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISANNIO-CFI0021983 |
Brams, G. W.
![]() |
||
Milano, : Masson Italia, 1985 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
2: Modellazione e applicazioni / G. W. Brams |
Autore | Brams, G. W. |
Pubbl/distr/stampa | Milano, : Masson Italia, 1985 |
Descrizione fisica | X, 138 p. : ill. ; 24 cm. |
Disciplina |
511
511.35 |
Soggetto topico | Reti di Petri |
ISBN | 8821405834 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISANNIO-CFI0021985 |
Brams, G. W.
![]() |
||
Milano, : Masson Italia, 1985 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
A course in formal languages, automata and groups / Ian Chiswell |
Autore | Chiswell, Ian <1948- > |
Pubbl/distr/stampa | London : Springer, 2009 |
Descrizione fisica | VII, 157 p. : ill. ; 24 cm |
Disciplina | 511.35 |
Collana | Univesitext |
Soggetto non controllato |
Macchine di Turing e nozioni collegate
Funzioni e relazioni ricorsive, gerarchie subricorsive |
ISBN | 978-1-84800-939-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009082850403321 |
Chiswell, Ian <1948- >
![]() |
||
London : Springer, 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Petri nets 1993 / Grzegorz Rozenberg (ed.) |
Autore | International conference on applications and theory of Petri nets : <12. : ; 1991 |
Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, c1993 |
Descrizione fisica | 457 p. ; 24 cm. |
Disciplina | 511.35 |
Collana | Lecture notes in computer science |
Soggetto topico |
Reti di Petri
Petri, reti di Modelli matematici |
ISBN |
0387566899
3540566899 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10002791 |
International conference on applications and theory of Petri nets : <12. : ; 1991
![]() |
||
Berlin [etc.], : Springer-Verlag, c1993 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / / edited by Wil van der Aalst, Eike Best |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIV, 351 p. 136 illus.) |
Disciplina | 511.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer simulation Machine theory Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Computer Modelling Formal Languages and Automata Theory Artificial Intelligence |
ISBN | 3-319-57861-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Distinguished Carl Adam Petri Lecture -- Simulation of Colored Petri Nets -- Petri Net Tools -- Model Checking -- Liveness and Opacity -- Stochastic Petri Nets -- Specific Net Classes -- Petri Nets for Pathways. |
Record Nr. | UNISA-996466228503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / / edited by Wil van der Aalst, Eike Best |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIV, 351 p. 136 illus.) |
Disciplina | 511.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer simulation Machine theory Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Computer Modelling Formal Languages and Automata Theory Artificial Intelligence |
ISBN | 3-319-57861-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Distinguished Carl Adam Petri Lecture -- Simulation of Colored Petri Nets -- Petri Net Tools -- Model Checking -- Liveness and Opacity -- Stochastic Petri Nets -- Specific Net Classes -- Petri Nets for Pathways. |
Record Nr. | UNINA-9910485143603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / / edited by Raymond Devillers, Antti Valmari |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (X, 351 p. 129 illus.) |
Disciplina | 511.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters |
ISBN | 3-319-19488-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996198524603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / / edited by Raymond Devillers, Antti Valmari |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (X, 351 p. 129 illus.) |
Disciplina | 511.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters |
ISBN | 3-319-19488-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484073003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Applications and Theory of Petri Nets 2004 [[electronic resource] ] : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings / / edited by Jordi Cortadella, Wolfgang Reisig |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XI, 505 p.) |
Disciplina | 511.35 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Mathematical logic
Computers Computer science—Mathematics Software engineering Operating systems (Computers) Computer communication systems Mathematical Logic and Foundations Theory of Computation Discrete Mathematics in Computer Science Software Engineering Operating Systems Computer Communication Networks |
ISBN | 3-540-27793-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited papers -- Positive Non-interference in Elementary and Trace Nets -- Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? -- Embedded Software: Better Models, Better Code -- Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata -- Formal Tools for Modular System Development -- Stochastic Methods for Dependability, Performability, and Security Evaluation -- Full papers -- Composition of Temporal Logic Specifications -- On the Use of Coloured Petri Nets for Object-Oriented Design -- Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets -- Finite Unfoldings of Unbounded Petri Nets -- Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys -- Generalised Soundness of Workflow Nets Is Decidable -- Petri Net Based Model Validation in Systems Biology -- Synthesis of Controlled Behavior with Modules of Signal Nets -- New Canonical Representative Marking Algorithms for Place/Transition-Nets -- Properties of Object Petri Nets -- LTL Model Checking for Modular Petri Nets -- Covering Fairness against Conspiracies -- Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods -- A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets -- Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation -- Transit Case Study -- Eliminating Internal Behaviour in Petri Nets -- Infinity of Intermediate States Is Decidable for Petri Nets -- Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations -- Tool Papers -- EMiT: A Process Mining Tool -- 3D-Visualization of Petri Net Models: Concept and Realization -- An Approach to Distributed State Space Exploration for Coloured Petri Nets -- An Extensible Editor and Simulation Engine for Petri Nets: Renew -- Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower. |
Record Nr. | UNINA-9910144151703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Applications and Theory of Petri Nets 2004 [[electronic resource] ] : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings / / edited by Jordi Cortadella, Wolfgang Reisig |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XI, 505 p.) |
Disciplina | 511.35 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Mathematical logic
Computers Computer science—Mathematics Software engineering Operating systems (Computers) Computer communication systems Mathematical Logic and Foundations Theory of Computation Discrete Mathematics in Computer Science Software Engineering Operating Systems Computer Communication Networks |
ISBN | 3-540-27793-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited papers -- Positive Non-interference in Elementary and Trace Nets -- Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? -- Embedded Software: Better Models, Better Code -- Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata -- Formal Tools for Modular System Development -- Stochastic Methods for Dependability, Performability, and Security Evaluation -- Full papers -- Composition of Temporal Logic Specifications -- On the Use of Coloured Petri Nets for Object-Oriented Design -- Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets -- Finite Unfoldings of Unbounded Petri Nets -- Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys -- Generalised Soundness of Workflow Nets Is Decidable -- Petri Net Based Model Validation in Systems Biology -- Synthesis of Controlled Behavior with Modules of Signal Nets -- New Canonical Representative Marking Algorithms for Place/Transition-Nets -- Properties of Object Petri Nets -- LTL Model Checking for Modular Petri Nets -- Covering Fairness against Conspiracies -- Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods -- A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets -- Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation -- Transit Case Study -- Eliminating Internal Behaviour in Petri Nets -- Infinity of Intermediate States Is Decidable for Petri Nets -- Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations -- Tool Papers -- EMiT: A Process Mining Tool -- 3D-Visualization of Petri Net Models: Concept and Realization -- An Approach to Distributed State Space Exploration for Coloured Petri Nets -- An Extensible Editor and Simulation Engine for Petri Nets: Renew -- Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower. |
Record Nr. | UNISA-996465434303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|