Search results for "Design/CPN"

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