Vladimír Janoušek - Academia.edu (original) (raw)

Uploads

Papers by Vladimír Janoušek

Seventh International Conference on Intelligent Systems Design and Applications (ISDA 2007), 2007

Multi-agent systems are one of the prospect approaches to simplification of complex system develo... more Multi-agent systems are one of the prospect approaches to simplification of complex system development. They introduce a natural abstraction layer on top of autonomous actors. Since multi-agent systems are strongly parallel the appropriate paradigms or tools have to be used. This article will demonstrate the application of our developed kind of high-level Petri nets to the deliberative agent modeling and simulation. This formalism is called Object Oriented Petri Nets (OOPN). It introduces a powerful means for description of concurrency and a high level of system dynamism. Moreover, OOPNs are a part of a framework intended for simulation based design featuring model continuity. It means that a model developed incrementally in a simulated environment can become a part of target applications.

Lecture Notes in Computer Science, 2009

Current model-based design methodologies use executable semi-formal models allowing for transform... more Current model-based design methodologies use executable semi-formal models allowing for transformations including code generation. Nevertheless, the code should be finalized manually and further development or debugging by means of prime models is impossible. The paper introduces an approach to the system design called Simulation Based Design which uses fromalisms of DEVS (Discrete-Event Systems Specification) and Object Oriented Petri Nets (OOPN) allowing for clear modeling, a possibility to check correctness by means of simulation as well as by formal verification. The approach is based on techniques such as incremental development in the simulation, reality-in-the-loop simulation, and model-continuity. The model is understood as an executable program valid through all development stages including the deployment (the target system).

Lecture Notes in Computer Science, 2009

ABSTRACT

This paper deals with the problem of automated conversion of formal system specification to the e... more This paper deals with the problem of automated conversion of formal system specification to the executable implementation that preserves the reconfigurability of the original model within its runtime. Formal part of the work is based on Coloured Petri Nets formalism extended with the nets-within-nets structural paradigm introduced by Valk. This paradigm reduces the partitioning problem using multiple levels of abstraction within modeling. Described solution aims to produce the distributed control system using five levels of abstraction and a set of translation rules that produces the target prototype. The main contribution of the paper is the introduction of mapping rules that are used for prototype generation and the concept of distributed virtual machine that interprets Petri Nets specifications and supports the reconfigurability of the system.

Lecture Notes in Computer Science, 2000

Lecture Notes in Computer Science, 2001

ABSTRACT

Lecture Notes in Computer Science, 2009

The aim of the paper is to show basic elements of a system design methodology which uses Object o... more The aim of the paper is to show basic elements of a system design methodology which uses Object oriented Petri nets. The methodology features conformity with UML and uses simulation as a means to verify the models in all system development phases. Simulation also helps in making decisions about structural and behavioral specification of the system. The paper will demonstrate layered modeling technique based on Object oriented Petri nets.

Lecture Notes in Computer Science, 2013

Kybernetes, 2002

This paper presents several research issues associated with the PNtalk language that is based on ... more This paper presents several research issues associated with the PNtalk language that is based on a certain kind of objectoriented Petri nets (OOPNs) and intended mainly for modelling, prototyping, and verifying concurrent and distributed applications. The paper reviews the main concepts of PNtalk and OOPNs followed by a proposal of a system allowing prototypes based on PNtalk to be run in a distributed way. Furthermore, the first steps made towards state spaces-based formal analysis and verification over PNtalk OOPNs are also briefly mentioned in the paper.

International Journal of Autonomic Computing, 2009

When developing a Multi-Agent System (MAS), we need, among others, to build agent architectures t... more When developing a Multi-Agent System (MAS), we need, among others, to build agent architectures together with some decision algorithms and communication protocols. Before such systems are realised in a real world, we should sufficiently test and verify their behaviour. The presented text describes a new approach to building artificial agents and MASs using the methodology of model-based design. In this methodology some models are used for testing the behaviour of particular elements as well as for testing the behaviour of the system as a whole-in both cases by simulation. Our aim is to develop a tool that would allow model-based design of systems with artificial agents. For this reason we have been building an application called Tool for Multi-Agent System Simulation (T-Mass) which is aimed at model-based development. As a part of the tool we also developed a language called Agent Low-Level Language (ALLL), by which agents' behaviour is controlled.

International Journal of Autonomic Computing, 2009

When developing a Multi-Agent System (MAS), we need, among others, to build agent architectures t... more When developing a Multi-Agent System (MAS), we need, among others, to build agent architectures together with some decision algorithms and communication protocols. Before such systems are realised in a real world, we should sufficiently test and verify their behaviour. The presented text describes a new approach to building artificial agents and MASs using the methodology of model-based design. In this methodology some models are used for testing the behaviour of particular elements as well as for testing the behaviour of the system as a whole-in both cases by simulation. Our aim is to develop a tool that would allow model-based design of systems with artificial agents. For this reason we have been building an application called Tool for Multi-Agent System Simulation (T-Mass) which is aimed at model-based development. As a part of the tool we also developed a language called Agent Low-Level Language (ALLL), by which agents' behaviour is controlled.

Seventh International Conference on Intelligent Systems Design and Applications (ISDA 2007), 2007

Multi-agent systems are one of the prospect approaches to simplification of complex system develo... more Multi-agent systems are one of the prospect approaches to simplification of complex system development. They introduce a natural abstraction layer on top of autonomous actors. Since multi-agent systems are strongly parallel the appropriate paradigms or tools have to be used. This article will demonstrate the application of our developed kind of high-level Petri nets to the deliberative agent modeling and simulation. This formalism is called Object Oriented Petri Nets (OOPN). It introduces a powerful means for description of concurrency and a high level of system dynamism. Moreover, OOPNs are a part of a framework intended for simulation based design featuring model continuity. It means that a model developed incrementally in a simulated environment can become a part of target applications.

Lecture Notes in Computer Science, 2009

Current model-based design methodologies use executable semi-formal models allowing for transform... more Current model-based design methodologies use executable semi-formal models allowing for transformations including code generation. Nevertheless, the code should be finalized manually and further development or debugging by means of prime models is impossible. The paper introduces an approach to the system design called Simulation Based Design which uses fromalisms of DEVS (Discrete-Event Systems Specification) and Object Oriented Petri Nets (OOPN) allowing for clear modeling, a possibility to check correctness by means of simulation as well as by formal verification. The approach is based on techniques such as incremental development in the simulation, reality-in-the-loop simulation, and model-continuity. The model is understood as an executable program valid through all development stages including the deployment (the target system).

Lecture Notes in Computer Science, 2009

ABSTRACT

This paper deals with the problem of automated conversion of formal system specification to the e... more This paper deals with the problem of automated conversion of formal system specification to the executable implementation that preserves the reconfigurability of the original model within its runtime. Formal part of the work is based on Coloured Petri Nets formalism extended with the nets-within-nets structural paradigm introduced by Valk. This paradigm reduces the partitioning problem using multiple levels of abstraction within modeling. Described solution aims to produce the distributed control system using five levels of abstraction and a set of translation rules that produces the target prototype. The main contribution of the paper is the introduction of mapping rules that are used for prototype generation and the concept of distributed virtual machine that interprets Petri Nets specifications and supports the reconfigurability of the system.

Lecture Notes in Computer Science, 2000

Lecture Notes in Computer Science, 2001

ABSTRACT

Lecture Notes in Computer Science, 2009

The aim of the paper is to show basic elements of a system design methodology which uses Object o... more The aim of the paper is to show basic elements of a system design methodology which uses Object oriented Petri nets. The methodology features conformity with UML and uses simulation as a means to verify the models in all system development phases. Simulation also helps in making decisions about structural and behavioral specification of the system. The paper will demonstrate layered modeling technique based on Object oriented Petri nets.

Lecture Notes in Computer Science, 2013

Kybernetes, 2002

This paper presents several research issues associated with the PNtalk language that is based on ... more This paper presents several research issues associated with the PNtalk language that is based on a certain kind of objectoriented Petri nets (OOPNs) and intended mainly for modelling, prototyping, and verifying concurrent and distributed applications. The paper reviews the main concepts of PNtalk and OOPNs followed by a proposal of a system allowing prototypes based on PNtalk to be run in a distributed way. Furthermore, the first steps made towards state spaces-based formal analysis and verification over PNtalk OOPNs are also briefly mentioned in the paper.

International Journal of Autonomic Computing, 2009

When developing a Multi-Agent System (MAS), we need, among others, to build agent architectures t... more When developing a Multi-Agent System (MAS), we need, among others, to build agent architectures together with some decision algorithms and communication protocols. Before such systems are realised in a real world, we should sufficiently test and verify their behaviour. The presented text describes a new approach to building artificial agents and MASs using the methodology of model-based design. In this methodology some models are used for testing the behaviour of particular elements as well as for testing the behaviour of the system as a whole-in both cases by simulation. Our aim is to develop a tool that would allow model-based design of systems with artificial agents. For this reason we have been building an application called Tool for Multi-Agent System Simulation (T-Mass) which is aimed at model-based development. As a part of the tool we also developed a language called Agent Low-Level Language (ALLL), by which agents' behaviour is controlled.

International Journal of Autonomic Computing, 2009

When developing a Multi-Agent System (MAS), we need, among others, to build agent architectures t... more When developing a Multi-Agent System (MAS), we need, among others, to build agent architectures together with some decision algorithms and communication protocols. Before such systems are realised in a real world, we should sufficiently test and verify their behaviour. The presented text describes a new approach to building artificial agents and MASs using the methodology of model-based design. In this methodology some models are used for testing the behaviour of particular elements as well as for testing the behaviour of the system as a whole-in both cases by simulation. Our aim is to develop a tool that would allow model-based design of systems with artificial agents. For this reason we have been building an application called Tool for Multi-Agent System Simulation (T-Mass) which is aimed at model-based development. As a part of the tool we also developed a language called Agent Low-Level Language (ALLL), by which agents' behaviour is controlled.