Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Kurt Jensen"'
Autor:
Kurt Jensen, Mogens Nielsen
Publikováno v:
Jensen, K & Nielsen, M 2019, Carl Adam Petri : a tribute from Aarhus . in W Reisig & G Rozenberg (eds), Carl Adam Petri : ideas, personality, impact . Springer, Cham, pp. 81-84 . https://doi.org/10.1007/978-3-319-96154-5_10
Carl Adam Petri: Ideas, Personality, Impact ISBN: 9783319961538
Carl Adam Petri: Ideas, Personality, Impact
Carl Adam Petri: Ideas, Personality, Impact ISBN: 9783319961538
Carl Adam Petri: Ideas, Personality, Impact
From Aarhus University the authors are delighted to pay tribute to Carl Adam Petri. His vision and his research played a significant role in the early development of the scientific basis of their Department of Computer Science.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::78fca1412b8480276f7d3564401463dd
https://pure.au.dk/portal/da/publications/carl-adam-petri(fe62ef04-d9fb-499c-9e62-d310acd09e73).html
https://pure.au.dk/portal/da/publications/carl-adam-petri(fe62ef04-d9fb-499c-9e62-d310acd09e73).html
Autor:
Kurt Jensen
This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de veloped - from being a promising theoretical model to being a full-fledged lan guage for
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely d
Autor:
Kurt Jensen, Grzegorz Rozenberg
High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is that they make it possible to obtain much more succinct and manageabl
Autor:
Kurt Jensen
The contents of this volume are application oriented. The volume contains a de tailed presentation of 19 applications of CP-nets, covering a broad range of ap plication areas. Most of the projects have been carried out in an industrial set ting
Publikováno v:
EPIC3Marine Biology, Springer, 159, pp. 221-230
Krakau, M, Jacobsen, S, Jensen, K T & Reise, K 2012, ' The cockle Cerastoderma edule at Northeast Atlantic shores: genetic signatures of glacial refugia ', Marine Biology, vol. 159, pp. 221-230 . https://doi.org/10.1007/s00227-011-1802-8
Krakau, M, Jacobsen, S, Jensen, K T & Reise, K 2012, ' The cockle Cerastoderma edule at Northeast Atlantic shores: genetic signatures of glacial refugia ', Marine Biology, vol. 159, pp. 221-230 . https://doi.org/10.1007/s00227-011-1802-8
The cockle Cerastoderma (Cardium) edule (L.) ranges from NW Africa to northern Scandinavia. Abundance in shallow coastal sediment is often high, and it attracts commercial harvest. In this study, a complex genetic pattern has been revealed by mitocho
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::08ddd9cfc924e1476af245f1651ca914
https://hdl.handle.net/10013/epic.38914
https://hdl.handle.net/10013/epic.38914
Autor:
Kurt Jensen, Lars M. Kristensen
Publikováno v:
Jensen, K & Kristensen, L M 2009, Coloured Petri Nets : Modelling and Validation of Concurrent Systems . Springer . https://doi.org/10.1007/b95112
Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inher
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b711cde5b90dd93a19fdf8f1f7fe77e
https://pure.au.dk/portal/da/publications/coloured-petri-nets(8c482de0-c536-11de-a30a-000ea68e967b).html
https://pure.au.dk/portal/da/publications/coloured-petri-nets(8c482de0-c536-11de-a30a-000ea68e967b).html
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540892861
Transactions on Petri Nets and Other Models of Concurrency I
Transactions on Petri Nets and Other Models of Concurrency I
No abstract
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::57f2fbaea7eef265e476788a66a93664
https://research.tue.nl/en/publications/6a1ee6e2-7855-4d20-9230-9632f7798675
https://research.tue.nl/en/publications/6a1ee6e2-7855-4d20-9230-9632f7798675
Autor:
Kurt Jensen, Lars M. Kristensen
Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inher
Autor:
Kurt Jensen, Andreas Podelski
This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain, from March 29th to April 2nd, as part of the 7th E