Search the dblp DataBase
Kurt Jensen :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Frits Feldbrugge , Kurt Jensen Petri Net Tool Overview 1986. [Citation Graph (0, 0)][DBLP ] Advances in Petri Nets, 1986, pp:20-61 [Conf ] Kurt Jensen Computer Tools for Construction, Modification and Analysis of Petri Nets. [Citation Graph (0, 0)][DBLP ] Advances in Petri Nets, 1986, pp:4-19 [Conf ] Kurt Jensen Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] Advances in Petri Nets, 1986, pp:248-299 [Conf ] Kurt Jensen An Introduction to the Practical Use of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] Petri Nets (2), 1996, pp:237-292 [Conf ] Lars Michael Kristensen , Jens Bæk Jørgensen , Kurt Jensen Application of Coloured Petri Nets in System Development. [Citation Graph (0, 0)][DBLP ] Lectures on Concurrency and Petri Nets, 2003, pp:626-685 [Conf ] Michel Beaudouin-Lafon , Wendy E. Mackay , Peter Andersen , Paul Janecek , Mads Jensen , Henry Michael Lassen , Kasper Lund , Kjeld Høyer Mortensen , Stephanie Munck , Anne V. Ratzer , Katrine Ravn , Søren Christensen , Kurt Jensen CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2001, pp:71-80 [Conf ] Peter Huber , Arne M. Jensen , Leif O. Jepsen , Kurt Jensen Towards reachability trees for high-level Petri nets. [Citation Graph (0, 0)][DBLP ] European Workshop on Applications and Theory in Petri Nets, 1984, pp:215-233 [Conf ] Peter Huber , Kurt Jensen , Robert M. Shapiro Hierarchies in coloured Petri nets. [Citation Graph (0, 0)][DBLP ] Applications and Theory of Petri Nets, 1989, pp:313-341 [Conf ] Kurt Jensen Coloured Petri Nets: Status and Outlook. [Citation Graph (0, 0)][DBLP ] ICATPN, 2003, pp:1-2 [Conf ] Kurt Jensen High-Level Petri Nets. [Citation Graph (0, 0)][DBLP ] European Workshop on Applications and Theory of Petri Nets, 1982, pp:166-180 [Conf ] Kurt Jensen The design of a program package for an introductory Petri net course. [Citation Graph (0, 0)][DBLP ] European Workshop on Applications and Theory in Petri Nets, 1984, pp:259-266 [Conf ] Kurt Jensen Coloured Petri nets: A high level language for system design and analysis. [Citation Graph (0, 0)][DBLP ] Applications and Theory of Petri Nets, 1989, pp:342-416 [Conf ] Kurt Jensen , Morten Kyng Petri Nets and Semantics of System Descriptions. [Citation Graph (0, 0)][DBLP ] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:64-71 [Conf ] Kurt Jensen , Erik Meineche Schmidt Pascal semantics by a combination of denotational semantics and high-level Petri nets. [Citation Graph (0, 0)][DBLP ] Applications and Theory in Petri Nets, 1985, pp:297-329 [Conf ] Anne V. Ratzer , Lisa Wells , Henry Michael Lassen , Mads Laursen , Jacob Frank Qvortrup , Martin Stig Stissing , Michael Westergaard , Søren Christensen , Kurt Jensen CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2003, pp:450-462 [Conf ] Lars Michael Kristensen , Kurt Jensen Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP ] SoftSpez Final Report, 2004, pp:248-269 [Conf ] Kurt Jensen A Method to Compare the Descriptive Power of Different Types of Petri Nets. [Citation Graph (0, 0)][DBLP ] MFCS, 1980, pp:348-361 [Conf ] Kurt Jensen How to Find Invariants for Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] MFCS, 1981, pp:327-338 [Conf ] Kurt Jensen An Introduction to the Theoretical Aspects of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] REX School/Symposium, 1993, pp:230-272 [Conf ] Kurt Jensen , Morten Kyng , Ole Lehrmann Madsen A Petri Net Definition of a System Description Language. [Citation Graph (0, 0)][DBLP ] Semantics of Concurrent Computation, 1979, pp:348-368 [Conf ] Michel Beaudouin-Lafon , Wendy E. Mackay , Mads Jensen , Peter Andersen , Paul Janecek , Henry Michael Lassen , Kasper Lund , Kjeld Høyer Mortensen , Stephanie Munck , Anne V. Ratzer , Katrine Ravn , Søren Christensen , Kurt Jensen CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS. [Citation Graph (0, 0)][DBLP ] TACAS, 2001, pp:574-577 [Conf ] Kurt Jensen A Brief Introduction to Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] TACAS, 1997, pp:203-208 [Conf ] Kurt Jensen Condensed State Spaces for Symmetrical Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 1996, v:9, n:1/2, pp:7-40 [Journal ] Kurt Jensen Special Section on the Practical Use of High-Level Petri Nets: Preface by the section editor. [Citation Graph (0, 0)][DBLP ] STTT, 2001, v:3, n:4, pp:369-371 [Journal ] Kurt Jensen Coloured Petri Nets - Preface by the Section Editor. [Citation Graph (0, 0)][DBLP ] STTT, 1998, v:2, n:2, pp:95-97 [Journal ] Kurt Jensen , Andreas Podelski Tools and algorithms for the construction and analysis of systems. [Citation Graph (0, 0)][DBLP ] STTT, 2006, v:8, n:3, pp:177-179 [Journal ] Lars Michael Kristensen , Søren Christensen , Kurt Jensen The Practitioner's Guide to Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] STTT, 1998, v:2, n:2, pp:98-132 [Journal ] Peter Huber , Arne M. Jensen , Leif O. Jepsen , Kurt Jensen Reachability Trees for High-level Petri Nets. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1986, v:45, n:3, pp:261-292 [Journal ] Kurt Jensen Coloured Petri Nets and the Invariant-Method. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1981, v:14, n:, pp:317-336 [Journal ] Kurt Jensen , Andreas Podelski Special issue. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:345, n:1, pp:1- [Journal ] Kurt Jensen , Lars Michael Kristensen , Lisa Wells Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. [Citation Graph (0, 0)][DBLP ] STTT, 2007, v:9, n:3-4, pp:213-254 [Journal ] Kurt Jensen Special section on coloured Petri nets. [Citation Graph (0, 0)][DBLP ] STTT, 2007, v:9, n:3-4, pp:209-212 [Journal ] Search in 0.016secs, Finished in 0.018secs