Coloured petri nets: modelling and validation of concurrent systems

New York: Springer. Edited by Lars M. Kristensen (2009)
  Copy   BIBTEX

Abstract

Introduction to modelling and validation -- Non-hierarchical coloured petri nets -- CPN ML programming -- Formal definition of non-hierarchical coloured petri nets -- Hierarchical coloured petri nets -- Formal defintion of hierarchical coloured petri nets -- State spaces and behavioural properties -- Advanced state space methods -- Formal definition of state spaces and behavioural properties -- Timed coloured petri nets -- Formal definition of timed coloured petri nets -- Simulation-based performance analysis -- Behavioural visualisation -- Examples of industrial applications -- Teaching coloured petri nets.

Categories

Add categories

Keywords

Reprint years

Call number

BD255.F76 2009

ISBN(s)

9783642002830   3642002838

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the Decidability of Model Checking for Several [Mu]-Calculi and Petri Nets.Javier Esparza - 1993 - LFCS, Department of Computer Science, University of Edinburgh.
Completeness results for linear logic on Petri nets.Uffe Engberg & Glynn Winskel - 1997 - Annals of Pure and Applied Logic 86 (2):101-135.
Petri nets applied to experimental plant morphogenesis.Jacqueline Luck & Hermann B. Luck - 1991 - Acta Biotheoretica 39 (3-4):235-252.
Well (and better) quasi-ordered transition systems.Parosh Aziz Abdulla - 2010 - Bulletin of Symbolic Logic 16 (4):457-515.
The completeness of linear logic for Petri net models.K. Ishihara & K. Hiraishi - 2001 - Logic Journal of the IGPL 9 (4):549-567.
Qualitative simulation of temporal concurrent processes using Time Interval Petri Nets.Vadim Bulitko & David C. Wilkins - 2003 - Artificial Intelligence 144 (1-2):95-124.
Order algebras as models of linear logic.Constantine Tsinakis & Han Zhang - 2004 - Studia Logica 76 (2):201 - 225.
The rod and the crocodile. Temporal relations in textual hermeneutics: An application of Petri nets to semantics.Ephraim Nissan - 2011 - Semiotica 2011 (184):187-227.
The Box Calculus a New Causal Algebra with Multilabel Communication.Eike Best & Jon Hall - 1992 - University of Newcastle Upon Tyne, Computing Laboratory.
The wadge hierarchy of Petri Nets ω-languages.Jean-Pierre Ressayre, Olivier Finkel & Jacques Duparc - 2014 - In Jean-Pierre Ressayre, Olivier Finkel & Jacques Duparc (eds.), The wadge hierarchy of Petri Nets ω-languages. pp. 109-138.
Propositional dynamic logic for Petri nets.B. Lopes, M. Benevides & E. H. Haeusler - 2014 - Logic Journal of the IGPL 22 (5):721-736.
Verifying Temporal Properties of Systems.J. C. Bradfield - 1992 - Birkhauser.
Phase semantics and Petri net interpretation for resource-sensitive strong negation.Norihiro Kamide - 2006 - Journal of Logic, Language and Information 15 (4):371-401.
The ILLTP Library for Intuitionistic Linear Logic.Carlos Olarte, Valeria Correa Vaz De Paiva, Elaine Pimentel & Giselle Reis - manuscript
Expositio Magistri Petri Tatereti in Summulas Petri Hyspani Summa Ac Curatione Atq[Ue] Lucubratio[N]E Penitus Innouata Atq[Ue] Reposita Vna Cu[M] Toto Textu: Summaq[Ue] a[N]I[M]Aduersi[o]Ne Impressa.Pierre Tartaret - 1501 - [S.N.].

Analytics

Added to PP
2023-04-12

Downloads
4 (#1,563,644)

6 months
2 (#1,182,310)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references