Membrane Systems and Petri Net Synthesis

Automated synthesis from behavioural specifications is an attractive and powerful way of constructing concurrent systems. Here we focus on the problem of synthesising a membrane system from a behavioural specification given in the form of a transition system which specifies the desired state space of the system to be constructed. We demonstrate how a Petri net solution to this problem, based on the notion of region of a transition system, yields a method of automated synthesis of membrane systems from state spaces.Comment: In Proceedings MeCBIC 2012, arXiv:1211.347

A symbolic algorithm for the synthesis of bounded Petri nets

This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events are split into several transitions to guarantee the synthesis of a Petri net with bisimilar behavior. The algorithm uses symbolic representations of multisets of states to efficiently generate all the minimal regions. The algorithm has been implemented in a tool. Experimental results show a significant net reduction when compared with approaches for the synthesis of safe Petri nets.Peer ReviewedPostprint (author's final draft

Analyzing safety and fault tolerance using time Petri nets

The application of time Petri net modelling and analysis techniques to safety-critical real-time systems is explored and procedures described which allow analysis of safety, recoverability, and fault tolerance. These procedures can be used to help determine software requirements, to guide the use of fault detection and recovery procedures, to determine conditions which require immediate miti gating action to prevent accidents, etc. Thus it is possible to establish important properties duing the synthesis of the system and software design instead of using guesswork and costly a posteriori analysis

Business Grid Services

Grid services have come to represent the synthesis of web services and grid computing paradigms. Web services provide the means to modularize software, enabling loosely coupled and novel synthesis. Grid computing removes the binding between functional software components and specific hosting hardware, enabling software to be deployed dynamically over a network (e.g. intra-, extra- or inter-net). Applying the constructs of grid computing to the service orientation of enterprise software will allow business service networks to utilize more specialized services. An upper service ontology that enables business grid services to be described and then related to the grid hosting platform is presented. Explicit knowledge is required for enterprise software, hosting servers and the domain that can then be utilized by both SLA and reservation systems. The ontology presented is derived from and validated using a collection of web services taken from leading investment banks

Declining Volatility, a General Property of Disparate Systems: From Fossils, to Stocks, to the Stars

There may be structural principles pertaining to the general behavior of systems that lead to similarities in a variety of different contexts. Classic examples include the descriptive power of fractals, the importance of surface area to volume constraints, the universality of entropy in systems, and mathematical rules of growth and form. Documenting such overarching principles may represent a rejoinder to the Neodarwinian synthesis that emphasizes adaptation and competition. Instead, these principles could indicate the importance of constraint and structure on form and evolution. Here we document a potential example of a phenomenon suggesting congruent behavior of very different systems. We focus on the notion that universally there has been a tendency for more volatile entities to disappear from systems such that the net volatility in these systems tends to decline. We specifically focus on origination and extinction rates in the marine animal fossil record, the performance of stocks in the stock market, and the characters of stars and stellar systems. We consider the evidence that each is experiencing declining volatility, and also consider the broader significance of this.Comment: Accepted for publication in Palaeontology. 13 pages, 3 figure

PETRI NET BASED APPROACHES TO MANUFACTURING SYSTEMS

This paper describes the planning in manufacturing systems. The skeleton and the functionality of a Petri Net Toolbox, embedded in the Matlab environment, are briefly presented, as offering a collection of instruments devoted to simulation, analysis and synthesis of discrete event systems. Timed Petri Nets are used to model operational and routing in production systems. A generalized multi productive machine modules is defined, adapter to system feature, repeated and connected to compose the TPN models of production systems with different levels of routing and operation. The present paper approaches the stochastic medium considered to be fundamental in describing the changes and the aleatory variations during the desertion process of machines and blocking times in the processing activity. We intend to present a simulated model according to which we can establish the time variation and the outputs process in a simple production system.Petri Nets, discrete event, manufacturing systems