Cargando…

Petri net theory and the modeling of systems

Detalles Bibliográficos
Autor principal:	Peterson, James Lyle
Lenguaje:	eng
Publicado:	Prentice-Hall 1981
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/100102

Ejemplares similares

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

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)

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)

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

Process algebras for petri nets: the alphabetization of distributed systems
por: Gorrieri, Roberto
Publicado: (2017)

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

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

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

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)

Timed petri nets: theory and application
por: Ho, Yu-Chi, et al.
Publicado: (1998)

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

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

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

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

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

Microsoft .Net remoting
por: McLean, Scott, et al.
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)

Stochastic Petri nets: modelling, stability, simulation
por: Haas, Peter J
Publicado: (2002)

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

MONALISA for stochastic simulations of Petri net models of biochemical systems
por: Balazki, Pavel, et al.
Publicado: (2015)

Graphlets in comparison of Petri net-based models of biological systems
por: Szawulak, Bartłomiej, et al.
Publicado: (2022)

A CTL* Model Checker for Petri Nets
por: Amparore, Elvio Gilberto, et al.
Publicado: (2020)

From Petri Plates to Petri Nets, a revolution in yeast biology
por: Oliver, Stephen G
Publicado: (2022)

Pro C# 7: with .NET and .NET Core
por: Troelsen, Andrew W
Publicado: (2017)

Pro C# 7: with .NET and .NET Core
por: Troelsen, Andrew, et al.
Publicado: (2017)

Ado.NET programming in Visual Basic .NET
por: Holzner, Steven, et al.
Publicado: (2003)

Network programming in .NET: with C♯ and Visual Basic .NET
por: Reid, Fiach
Publicado: (2004)

Essential ASP.NET with examples in Visual Basic .NET
por: Onion, Fritz
Publicado: (2003)

Building Web solutions with ASP.NET and ADO.NET
por: Esposito, Dino
Publicado: (2002)

.NET compact framework programming with Visual Basic .NET
por: Yao, Paul, et al.
Publicado: (2004)

Test driven development in Microsoft.Net
por: Newkirk, James, et al.
Publicado: (2004)

Applied cryptography in .NET and Azure Key Vault: a practical guide to encryption in .NET and .NET Core
por: Haunts, Stephen
Publicado: (2019)

Application and theory of petri nets and concurrency: 37th international conference, Petri Nets 2016, Toruń, Poland, June 19-24, 2016 proceedings
por: Kordon, Fabrice, et al.
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_dsv738a3kb8f9ovr7dqq52816d