Results
Found 26 publication records. Showing 26 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
76 | Lars Michael Kristensen, Søren Christensen, Kurt Jensen |
The Practitioner's Guide to Coloured Petri Nets. |
Int. J. Softw. Tools Technol. Transf. |
1998 |
DBLP DOI BibTeX RDF |
Practical use, Modelling, Verification, Validation, Visualisation, Tool support, Coloured Petri nets, High-level Petri nets |
74 | Kjeld Høyer Mortensen |
Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
61 | 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. |
ICATPN |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Libero Nigro, Francesco Pupo |
Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets. |
Concurrent Object-Oriented Programming and Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
Design/CPN, Real Time, Modularity, Actors, Temporal Analysis, Occurrence Graphs |
53 | Olaf Kummer, Daniel Moldt, Frank Wienberg |
Symmetric Communication between Coloured Petri Net Simulations and Java-Processes. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
Design/CPN, Java, Workflow, Framework, Prototyping, Distributed Simulation, Coloured Petri Nets, Computer Tools |
51 | Kimiyuki Fukuzawa, Motoshi Saeki |
Evaluating software architectures by coloured petrit nets. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
evaluation and simulation, non-functional quality attribute, software architecture, coloured petri net |
50 | D. J. Floreani, Jonathan Billington, A. J. Dadej |
Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN. |
Application and Theory of Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
Gateway Architecture, Coloured Petri Nets, Protocol Modelling |
49 | Søren Christensen, Jens Bæk Jørgensen |
Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
Topics System design and verification using nets, experience with using nets, application of nets to protocols and embedded systems, case studies, higher-level net models, computer tools for nets |
41 | Bo Lindstrom |
Web-based interfaces for simulation of coloured Petri net models. |
Int. J. Softw. Tools Technol. Transf. |
2001 |
DBLP DOI BibTeX RDF |
Batch simulations, CGI scripts, Design/CPN, Coloured Petri nets, Web interfaces, HTML forms |
41 | Arkady B. Zaslavsky, L. H. Yeo, Simon J. Lai, Boris Mitelman |
Petri nets analysis of transaction and submitter management protocols in mobile distributed computing environment. |
ICCCN |
1995 |
DBLP DOI BibTeX RDF |
Petri nets analysis, transaction management protocols, submitter management protocols, mobile distributed computing environment, transaction queuing protocol, message queuing protocol, mobile workstations, distributed multidatabase environment, Design/CPN software tool, hierarchical coloured Petri nets, transaction processing algorithms, message processing algorithms, simulation results, simulation model, workstations, protocol verification, protocol implementation |
37 | 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. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Lars Michael Kristensen, Laure Petrucci |
An Approach to Distributed State Space Exploration for Coloured Petri Nets. |
ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
25 | 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. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Issam Al-Azzoni, Douglas G. Down, Ridha Khédri |
Modeling and Verification of Cryptographic Protocols Using Coloured Petri Nets and Design/CPN. |
Nord. J. Comput. |
2005 |
DBLP BibTeX RDF |
|
24 | Hyunjeong Lee, Byungsun Lee |
Automatic Generation Method of LDP Test Cases Using Design/CPN. |
PDPTA |
2000 |
DBLP BibTeX RDF |
|
24 | Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen |
Design/CPN - A Computer Tool for Coloured Petri Nets. |
TACAS |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Gert Scheschonk |
Design/CPN - Ein Simulationswerkzeug für ausführbare Systemmodelle auf der Basis von gefärbten Petri-Netzen. |
ASIM |
1990 |
DBLP BibTeX RDF |
|
15 | Michael Meyer zu Hörste, Eckehard Schnieder |
Formal Modelling and Simulation of Train Control Systems Using Petri Nets. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Boleslaw Mikolajczak, Sachin Joshi |
Modeling of information systems security features with colored Petri nets. |
SMC (5) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Jianli Xu, Juha Kuusela |
Analyzing the Execution Architecture of Mobile Phone Software with Colored Petri Nets. |
Int. J. Softw. Tools Technol. Transf. |
1998 |
DBLP DOI BibTeX RDF |
Execution archi-tecture, Modeling, Performance, Software architecture, Colored Petri nets |
13 | Qiang Ye 0001, Mike H. MacGregor |
Petri Net Approach to Improving SACK TCP Resilience. |
CNSR |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Lu Ma, Jeffrey J. P. Tsai, Tadao Murata |
A Secure Mobile Agent System Model Based on Extended Elementary Object System. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
mobile agent, security mechanism, object Petri net |
13 | Søren Christensen, Lars Michael Kristensen, Thomas Mailund |
A Sweep-Line Method for State Space Exploration. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Frank P. Burns, Albert Koelmans, Alexandre Yakovlev |
Analysing Superscalar Processor Architectures with Coloured Petri Nets. |
Int. J. Softw. Tools Technol. Transf. |
1998 |
DBLP DOI BibTeX RDF |
Asynchronous processors, Modelling, Real-time systems, Worst case execution time, Coloured Petri nets, Superscalar processors |
13 | Gert Scheschonk, Michael Timpe |
Simulation and Analysis of a Document Storage System. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
|
13 | Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki |
On Net Modeling of Industrial Size Concurrent Systems. |
Application and Theory of Petri Nets |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|