CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets

Beaudouin-Lafon, Michel; Mackay, Wendy E.; Andersen, Peter Bøgh; Janecek, Paul; Jensen, Mads Møller; Lassen, Henry Michael; Lund, Kasper; Mortensen, Karen Vibeke; Munck, Stephanie; Ratzer, Anne Vinter; Ravn, Katrine; Christensen, Søren; Jensen, Kurt Villads

doi:10.1007/3-540-45740-2_6

Cited by 24 publications

(19 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…From the contributions described in Sect. 5.1 we claim that this has been achieved. Facilities have been developed and practical projects have shown the usability of these facilities.…”

Section: Future Workmentioning

confidence: 75%

See 1 more Smart Citation

Facilitating the Practical Use of Coloured Petri Nets

Lindstrøm¹

2002

DPB

View full text Add to dashboard Cite

The future throws its shadow at the present in the light of the past -Bo Lindstrøm, 1993. Preface SummaryDesign and development of systems is a complex task which is even more complex if the systems are distributed and concurrent. Therefore models are often created of such systems to investigate the systems in various ways. Due to the complexity of such models it is essential that modelling tools exist with support for examining the models.Coloured Petri nets (CP-nets or CPNs) is a formally founded graphical language for modelling and analysis of concurrent and distributed systems. The industrial use of CP-nets has increased during the latest years. This is in particular due to the extensive development of tools supporting various uses of CP-nets.The primary purpose of this dissertation is to investigate and advance tools for practical use of CP-nets. This includes development of facilities for creating domain-specific graphical user interfaces, a proposal for facilities for including auxiliary information in a CP-net without modifying the CP-net itself, and development of general facilities for extracting information from a CP-net during simulations. The tool facilities have been developed based on concrete needs arising during practical projects, and have when possible been tested in these projects.The dissertation consists of two parts. Part I is the mandatory overview paper which summarises the research. Part II is composed of five individual papers and constitutes the core of this dissertation. All five papers have been published or accepted for publication as workshop or journal papers.The overview paper introduces CP-nets, motivates the research presented in this dissertation, and summarises the contents and main contributions of the five individual papers. A substantial part of the overview paper has also been devoted to a discussion of related work for considering the results presented in the papers from a broader perspective.The first paper describes an approach which allows users without knowledge of CP-nets to control simulations of CPN models and interpret the results obtained from simulations via web-based interfaces. It describes the architecture design of facilities in a simulation tool for making it possible to simulate a CPN model via a web-based interface. The approach is based on giving the modeller the ability to easily create a stand-alone program containing the entire simulator. The initial conditions of the simulator for running several simulations can then be specified via a web page. The fact that the initial conditions of a vii simulation can be specified via a domain-specific and user-relevant form, gives users without knowledge of CP-nets and the actual simulation tool the ability to use the pre-constructed simulators for specific analysis purposes. The paper also illustrates that creating so-called batch scripts has some advantages. Batch scripts give the user the ability to run several simulations after having specified initial conditions for each simulation. Thus the user will be ...

show abstract

“…From the contributions described in Sect. 5.1 we claim that this has been achieved. Facilities have been developed and practical projects have shown the usability of these facilities.…”

Section: Future Workmentioning

confidence: 75%

“…This includes extending the GUI of CPN Tools [23] which is the tool going to replace Design/CPN in the near future. In this tool the design of the GUI for the monitoring framework should use the new advanced user interaction techniques as described in [6,5].…”

Section: Monitorsmentioning

confidence: 99%

Facilitating the Practical Use of Coloured Petri Nets

Lindstrøm¹

2002

DPB

View full text Add to dashboard Cite

show abstract

“…This is done by combining a tiling window manager [32] with a drag-and-drop technique that allows to move individual layers from a window to another. A similar drag-and-drop technique where tabs are used instead of layers has been introduced in [5] and is now implemented in applications such as Google Chrome. Another way of performing side-by-side comparisons is by simply translating individual layers.…”

Section: Explorementioning

confidence: 99%

Interactive graph matching and visual comparison of graphs and clustered graphs

Hascoët

Dragicevic

2012

Proceedings of the International Working Conference on Advanced Visual Interfaces

View full text Add to dashboard Cite

To cite this version: ABSTRACTWe introduce interactive graph matching, a process that conciliates visualization, interaction and optimization approaches to address the graph matching and graph comparison problems as a whole. Interactive graph matching is based on a multi-layered interaction model and on a visual reification of graph matching functions. We present three case studies and a system named Donatien to demonstrate the interactive graph matching approach. The three case studies involve different datasets: a) subgraphs of a lexical network, b) graph of keywords extracted from the InfoVis contest benchmark, and c) clustered graphs computed from different clustering algorithms for comparison purposes.

show abstract

“…This common model for 3D toolkits has already been used by some advanced 2D toolkits [7,3,25]. Scene-graph approaches break the heavy structure of widget-based architectures by using fine-grained graphical objects that can be grouped to create more complex graphical objects.…”

Section: The Mixed-graphs Modelmentioning

confidence: 99%

“…User interfaces are scripted rather than programmed but prototyping capabilities are limited as no graphical editor is available. Like CPN Tools [3] and MMM [8], Ubit handles multiple pointing devices but is not aware of other devices and techniques. More generally, all previous Post-WIMP graphical toolkits support a limited set of input devices and use them quite efficiently but in ad-hoc ways.…”

Section: Post-wimp Toolkitsmentioning

confidence: 99%

The MaggLite post-WIMP toolkit

Huot¹,

Dumas²,

Dragicevic

et al. 2004

Proceedings of the 17th Annual ACM Symposium on User Interface Software and Technology

View full text Add to dashboard Cite

This article presents MaggLite, a toolkit and sketch-based interface builder allowing fast and interactive design of post-WIMP user interfaces. MaggLite improves design of advanced UIs thanks to its novel mixed-graph architecture that dynamically combines scene-graphs with interactiongraphs. Scene-graphs provide mechanisms to describe and produce rich graphical effects, whereas interaction-graphs allow expressive and fine-grained description of advanced interaction techniques and behaviors such as multiple pointers management, toolglasses, bimanual interaction, gesture, and speech recognition. Both graphs can be built interactively by sketching the UI and specifying the interaction using a dataflow visual language. Communication between the two graphs is managed at runtime by components we call Interaction Access Points. While developers can extend the toolkit by refining built-in generic mechanisms, UI designers can quickly and interactively design, prototype and test advanced user interfaces by applying the MaggLite principle: "draw it, connect it and run it".

show abstract

CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets

Cited by 24 publications

References 13 publications

Facilitating the Practical Use of Coloured Petri Nets

Facilitating the Practical Use of Coloured Petri Nets

Interactive graph matching and visual comparison of graphs and clustered graphs

The MaggLite post-WIMP toolkit

Contact Info

Product

Resources

About