MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On the Abstraction of Coloured Petri Nets." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

On the Abstraction of Coloured Petri Nets
by Charles Lakos — 1997 — Proceedings of Petri Net Conference 97
…On the Abstraction of Coloured Petri Nets Charles Lakos, Computer Science Department, University…
Cited by 14 (6 self) – Add To MetaCart

Application of Coloured Petri Nets in System Development
by Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen — 2004 — In Lecture on Concurrency and Petri Nets, Jorg Desel, Wolfgang Reisig and Grezegorz Rozenberg (Eds.), Springer, LNCS 3089
…-8200 Aarhus N, Denmark {lmkristensen,jbj,kjensen}@(email omitted); Abstract. Coloured Petri Nets (CP-nets…
Cited by 4 (3 self) – Add To MetaCart

Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems
by Kurt Jensen, Lars Michael, Kristensen Lisa Wells, K. Jensen, L. M. Kristensen — 2007 — International Journal on Software Tools for Technology Transfer
… Abstract Coloured Petri Nets (CPNs) is a language for the modelling and validation of systems in which…
Cited by 15 (1 self) – Add To MetaCart

A brief introduction to coloured Petri nets
by Kurt Jensen — 1997 — Lecture Notes in Computer Science
…://www.daimi.aau.dk/~kjensen/ Abstract. Coloured Petri Nets (CP-nets or CPN) is a graphical oriented language for design, specification…
Cited by 5 (0 self) – Add To MetaCart

The practitioner's guide to coloured Petri nets
by Lars M. Kristensen, Søren Christensen, Kurt Jensen — 1998 — International Journal on Software Tools for Technology Transfer
… abstraction L.M. Kristensen et al.: The practitioner’s guide to coloured Petri nets 99 levels of the modelled…
Cited by 59 (16 self) – Add To MetaCart

Modelling with Generalized Stochastic Petri Nets
by M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, Parallel Computing, John Wiley, V. Almeida, J. Almeida, C. Murta Performance Analysis — 1995 — Series in Parallel Computing
…. Computer, 28(11):68–74, Nov. 1995. [83] C. Lakos. On the abstraction of coloured Petri nets. In Application…
Cited by 252 (18 self) – Add To MetaCart

unknown title
by Haskell-coloured Petri Nets
…@(email omitted); Abstract. Coloured Petri Nets are a high-level form of Petri Nets, in which transition inscriptions in some…
Add To MetaCart

Maria - a Modular Reachability Analyzer
by Theoretical Computer Science Laboratory, Department Of Computer Science — 1998
…, April 1997. [Lak97] Charles Lakos. On the Abstraction of Coloured Petri Nets. In Pierre Az…
Add To MetaCart

Analysing the WAP Class 2 Wireless Transaction Protocol using Coloured Petri Nets
by Steven Gordon, Jonathan Billington — 2000
…, Mawson Lakes SA 5095, Australia {sgordon, j b}spri. levels. unisa. edu. au Abstract. Coloured Petri nets…
Cited by 7 (3 self) – Add To MetaCart

Anna-Maria - Application of New Net-Theoretic Analysis Methods in Maria - a Modular Reachability
by Theoretical Computer Science Laboratory — 2001
…. [Lak97] Charles Lakos. On the Abstraction of Coloured Petri Nets. In Pierre Azema and Gianfranco Balbo…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB