Cargando…

Coloured Petri nets

Detalles Bibliográficos
Autor principal:	Jensen, K
Lenguaje:	eng
Publicado:	Springer 1997
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/244849

Ejemplares similares

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

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

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

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

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)

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

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

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

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)

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

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

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

Robust modelling and simulation: integration of SIMIO with coloured petri nets
por: De La Mota, Idalia Flores, et al.
Publicado: (2017)

Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams
por: Schwarick, Martin, et al.
Publicado: (2020)

Coloured Petri nets for multilevel, multiscale and multidimensional modelling of biological systems
por: Liu, Fei, et al.
Publicado: (2017)

Colour engineering: achieving device independent colour
por: Green, Phil, et al.
Publicado: (2002)

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

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

Computational colour science using MATLAB
por: Westland, Stephen, et al.
Publicado: (2012)

Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking
por: Gilbert, David, et al.
Publicado: (2019)

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

A guide to graph colouring: algorithms and applications
por: Lewis, RMR
Publicado: (2015)

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

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

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

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)

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

Reengineering .NET
por: Irby, Brad
Publicado: (2013)

Metaprogramming in .NET
por: Hazzard, Kevin, et al.
Publicado: (2013)

Understanding .NET
por: Chappell, David
Publicado: (2006)

Cannot write session to /tmp/vufind_sessions/sess_nll7noj20fq7bggejfldedo2gt