Cargando…

Process algebras for petri nets: the alphabetization of distributed systems

Detalles Bibliográficos
Autor principal:	Gorrieri, Roberto
Lenguaje:	eng
Publicado:	Springer 2017
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2297563

Ejemplares similares

Nonsequential processes: a Petri net view
por: Best, Eike, et al.
Publicado: (1988)

Coloured Petri nets
por: Jensen, Kurt
Publicado: (1992)

Coloured Petri nets
por: Jensen, Kurt, et al.
Publicado: (1995)

Coloured Petri nets
por: Jensen, K
Publicado: (1997)

Coloured Petri nets
por: Jensen, Kurt
Publicado: (1996)

Petri net theory and the modeling of systems
por: Peterson, James Lyle
Publicado: (1981)

Free choice Petri nets
por: Desel, Jörg, et al.
Publicado: (2005)

43rd International Conference on Applications and Theory of Petri Nets and Concurrency (PETRI NETS 2022)
por: Bernardinello,, et al.
Publicado: (2022)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
por: Yoeli, Michael, et al.
Publicado: (2008)

Intelligent task planning using fuzzy petri nets
por: Cao, Tiehua, et al.
Publicado: (1996)

10th International Conference on Applications and Theory of Petri Nets
por: Rozenberg, Grzegorz
Publicado: (1991)

1st European Workshop on Application and Theory of Petri Nets
por: Girault, Claude, et al.
Publicado: (1982)

Modelling the Next Generation ALICE Grid Middleware Using Coloured Petri Nets
por: Storetvedt, Maxim, et al.
Publicado: (2022)

A Petri Net-Based Software Synchronizer for Automatic Measurement Systems
por: Arpaia, P, et al.
Publicado: (2011)

Aspects mathematiques des reseaux de Petri
por: Reutenauer, Christophe
Publicado: (1989)

Enterprise services with the .NET Framework: developing distributed business solutions with .NET Enterprise Services
por: Nagel, Christian
Publicado: (2005)

Net patterns: architecture, design and process
por: Thilmany, Christian
Publicado: (2004)

Analysis of DIRAC's behavior using model checking with process algebra
por: Remenska, Daniela, et al.
Publicado: (2012)

Biological Petri Nets
por: Wingender, E
Publicado: (2011)

Supervision of petri nets
por: Stremersch, Geert, et al.
Publicado: (2001)

Algebraic formalization of smart systems: theory and practice
por: Serdyukova, Natalia, et al.
Publicado: (2018)

ArASL: Arabic Alphabets Sign Language Dataset
por: Latif, Ghazanfar, et al.
Publicado: (2019)

The IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
por: Spicer, Tom
Publicado: (1999)

Combining artificial neural nets: ensemble and modular multi-net systems
por: Sharkey, Amanda J C
Publicado: (1999)

Building Intelligent .NET applications: agents, data mining, rule-based systems, and speech processing
por: Rea, Sara Morgan
Publicado: (2005)

Building RESTful web services with .NET Core: developing distributed web services to improve scalability with .NET Core 2.0 and ASP.NET Core 2.0
por: Aroraa, Gaurav, et al.
Publicado: (2018)

A Web Interface for Petri Nets with Transits and Petri Games
por: Gieseking, Manuel, et al.
Publicado: (2021)

MATLAB matrix algebra
por: Pérez López, César
Publicado: (2014)

Modern Computer Algebra
por: Gathen, Joachim Von Zur, et al.
Publicado: (2003)

Algebraic theory of automata
por: Ginzburg, Abraham
Publicado: (1968)

Geometric Algebra Computing
por: Corrochano, Eduardo Bayro, et al.
Publicado: (2010)

Algorithms for computer algebra
por: Geddes, Keith O, et al.
Publicado: (1992)

Fuzzy commutative algebra
por: Mordeson, John N, et al.
Publicado: (1998)

Algebraic curves in cryptography
por: Ling, San
Publicado: (2013)

Exploring data merging methods for a distributed processing system
por: Konopka, Piotr, et al.
Publicado: (2023)

Migrating to .NET: a pragmatic path to Visual Basic .NET, Visual C++ .NET and ASP .NET
por: Katre, Dhananjay
Publicado: (2003)

The Network Security Protection System at IHEP-Net
por: Ma, L, et al.
Publicado: (2005)

Dynamic Recursive Petri Nets
por: Haddad, Serge, et al.
Publicado: (2020)

Conference on Distributed Processing
por: Collective
Publicado: (1977)

Visual Basic .NET developer's guide to ASP.NET, XML, and ADO.NET
por: McManus, Jeffrey P, et al.
Publicado: (2002)

Cannot write session to /tmp/vufind_sessions/sess_bpgdisbbp93ckq1q42gejgg30s