3,690 Hits in 9.0 sec

Time Petri Nets Analysis with TINA

Bernard Berthomieu, François Vernadat
2006 Third International Conference on the Quantitative Evaluation of Systems - (QEST'06)  
Beside the usual graphic editing and simulation facilities, the software tool Tina may build a number of state space abstractions for Petri nets or Time Petri nets, preserving certain classes of properties  ...  For Time Petri nets, that have in general infinite state spaces, they provide finite representation of their behavior, in terms of state class graphs.  ...  Time Petri nets [2] are one of the most widely used model for the specification and verification of real-time systems.  ... 
doi:10.1109/qest.2006.56 dblp:conf/qest/BerthomieuV06 fatcat:exonlwr2i5eobc5tjdg36s3fsm

Petri Net Based Engineering and Software Methodology for Service-Oriented Industrial Automation [chapter]

J. Marco Mendes, Francisco Restivo, Paulo Leitão, Armando W. Colombo
2010 IFIP Advances in Information and Communication Technology  
This paper presents an overview of the current results on a unified and integrated methodology based on intrinsic and novel features of Petri nets.  ...  These nets are applied to the modeling, analysis, service management, embedded software controllers, decision support system and monitoring, to improve the fundamentals in the engineering of service-oriented  ...  FP6 "Network of Excellence for Innovative Production Machines and Systems" (I*PROMS), and the European ICT FP7 project "Cooperating Objects Network of Excellence" (CONET) for their support.  ... 
doi:10.1007/978-3-642-11628-5_25 fatcat:mi4otsyhabaeliwxtpwtedn5rq

A Survey on Formal Verification Approaches for Dependable Systems [article]

Fayhaa Hameedi Khlaif, Shawkat Sabah Khairullah
2022 arXiv   pre-print
To detect these errors and eliminate their effects on the system, new error detection approaches must be innovated and used in the design of the digital system.  ...  However, these methods require enormous costs and time.  ...  UML is also used in business areas, as well as in modeling of information flow behavioral software and embedded system design, also Petri-net, particularly Control Interpreted Petri-Net (CIPN), is used  ... 
arXiv:2204.12913v1 fatcat:y7jyq2gdjrgyxjtyibuknintfq

Object nets for the design and verification of distributed and embedded applications [chapter]

Jürgen Nützel, Bernd Däne, Wolfgang Fengler
1998 Lecture Notes in Computer Science  
In this paper we present an object-oriented method for the design, verification and implementation of embedded and distributed systems. The method is called Concurrent Object Net (CON).  ...  The CON method is based upon extended statecharts which use specific message links for communication. For simulation and verification corresponding Petri nets are used.  ...  and embedded real-time systems.  ... 
doi:10.1007/3-540-64359-1_761 fatcat:bxbxp56qzjbxrm5jrycwdqt5zu

A Hybrid System with Petri Net and Fuzzy Theory

Rong-Hou Wu, Yang-Han Lee, Yih-Guang Jan, Hsien-Wei Tseng, Ming-Hsueh Chuang, Jheng-Yao Lin
2006 Proceedings of the 9th Joint Conference on Information Sciences (JCIS)  
In this paper, we issue a hybrid system, which is integrated with the fuzzy system and Petri net models.  ...  predict the next state transition of Petri net graphs.  ...  This work was supported by the National Science Council, Taipei, Taiwan, R.O.C. under Contract NSC 94 -2213 -E -  ... 
doi:10.2991/jcis.2006.300 dblp:conf/jcis/WuLJTCL06 fatcat:7rq4ttubc5bgza2fdbndr6hjn4

Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers [chapter]

Fernando Pereira, Luis Gomes
2015 IFIP Advances in Information and Communication Technology  
IOPT-Tools is a cloud based integrated development environment to the design of embedded system controllers and other digital systems, employing the IOPT Petri net modeling formalism.  ...  To allow the test and debug of embedded system controllers, the Simulator provides options to manipulate the value of input signals, step by step execution, and continuous execution with programmed step  ...  This work was partially financed by Portuguese Agency" FCT -Fundação para a Ciência e a Tecnologia" in the framework of projects PEst-OE/EEI/UI0066/2011 and PTDC/EEI-AUT/2641/2012.  ... 
doi:10.1007/978-3-319-16766-4_18 fatcat:4vae6ivbmvdqhiv7fspnqz6m3q

Mapping AADL to Petri Net Tool-Sets Using PNML Framework

Hassan Reza, Amrita Chatterjee
2014 Journal of Software Engineering and Applications  
Architecture Analysis and Design Language (AADL) has been utilized to specify and verify nonfunctional properties of Real-Time Embedded Systems (RTES) used in critical application systems.  ...  The justification for using PNML is that the framework provides a context in which interoperability and exchangeability among different models of a system specified by different types of Petri nets is  ...  A number of studies have explored the extension of AADL with formal semantics to allow the verification of logical properties of the RT-Embedded Systems used in avionics and aerospace systems.  ... 
doi:10.4236/jsea.2014.711082 fatcat:bhf3lbzyafhohomuuordhyzyue

COST IC1404 WG1 Deliverable WG1.1: State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development

Stefan Klikovits, Rima Al-Ali, Moussa Amrani, Ankica Barisic, Fernando Barros, Dominique Blouin, Etienne Borde, Didier Buchs, Holger Giese, Miguel Goulao, Mauro Iacono, Florin Leon (+3 others)
2019 Zenodo  
It consists of a catalog of formalisms, modelling languages and tools for cyberphysical systems development.  ...  Deliverable WG1.1 of working group 1 on foundations for multi-paradigm modeling for cyber-physical systems.  ...  and Embedded systems) The UML profile for MARTE is an extension of UML that adds missing aspects of the real time and embedded systems domain.  ... 
doi:10.5281/zenodo.2538711 fatcat:itthyvenhfhmdn3f3jap7yf42y

Design validation of embedded dependable systems

A. Bondavalli, A. Fantechi, D. Latella, L. Simoncini
2001 IEEE Micro  
Many application fields use computer-controlled systems, with different levels of criticality requirements.  ...  A common characteristic of such embedded systems is their increasing complexity in intrinsic terms-distribution management, redundancy, functionality layering, and so on-and of their in-the-field operation-environmental  ...  follow an approach based on transformations from UML subsets to timed and generalized stochastic Petri nets by integrating the Petri nets into UML's object-oriented modeling paradigm.  ... 
doi:10.1109/40.958699 fatcat:wghik64werc27lhq3tyumg2xn4

Petri Nets for Component-Based Software Systems Development [chapter]

Leandro Dias da Silva, Kyller Gorgonio, Angelo Perkusich
2008 Petri Net, Theory and Applications  
ASK-CTL ASK-CTL is a CTL-like logic useful to specify properties for CPNs (Coloured Petri Nets) state spaces, represented by occurrence graphs.  ...  The properties are described in temporal logic, and the models can be described as a finite automaton or as a Petri net, for instance.  ...  Petri Net, Theory and Applications Although many other models of concurrent and distributed systems have been de-veloped since the introduction in 1964 Petri nets are still an essential model for concurrent  ... 
doi:10.5772/5330 fatcat:f7xz3myuujdhpjuulvrew5vywu

Service-oriented process control using High-Level Petri Nets

J. Marco Mendes, Paulo Leitao, Armando W. Colombo, Francisco Restivo
2008 2008 6th IEEE International Conference on Industrial Informatics  
The proposed control is based on a kind of Highlevel Petri Nets tailored for the description, connection and synchronization of different concurrent processes.  ...  Service-oriented systems constitute a suitable approach for the development of modular, flexible and reconfigurable production systems, addressing the current requirements imposed by global markets.  ...  ACKNOWLEDGMENT The authors would like to thank the partners of Innovative Production Machines and Systems (I*PROMS) Network of Excellence ( and the SOCRADES project (  ... 
doi:10.1109/indin.2008.4618202 fatcat:fsvam4bipvch5l3londd3nop6q

From UML to Petri Nets for non functional Property Verification

F. Mallet, M-A. Peraldi-Frati, C. Andre
2006 2006 International Symposium on Industrial Embedded Systems  
Real-time embedded architectures consist of software and hardware parts.  ...  and Hierarchical Time Petri Nets, 3) the transformation from the specification model to the analysis model.  ...  Time property analysis For the purpose of time property analysis we use the time Petri net analyzer (Tina) [15] , which supports both timed and untimed nets.  ... 
doi:10.1109/ies.2006.357475 dblp:conf/sies/MalletPA06 fatcat:xiysflhdsrbbhm3mlbknvl5aam

Software Methodologies for the Engineering of Service-Oriented Industrial Automation: The Continuum Project

J. Marco Mendes, Axel Bepperling, João Pinto, Paulo Leitao, Francisco Restivo, Armando W. Colombo
2009 2009 33rd Annual IEEE International Computer Software and Applications Conference  
The service-oriented automation software entities (designated here by bots) used in such approach requires a short set of methodologies and software targeting their specification for both computer systems  ...  and embedded automation devices.  ...  (SOCRADES), the EU FP6 "Network of Excellence for Innovative Production Machines and Systems" (I*PROMS), and the European ICT FP7 project "Cooperating Objects Network of Excellence" (CONET) for their support  ... 
doi:10.1109/compsac.2009.66 dblp:conf/compsac/MendesBPLRC09 fatcat:ig33qj7cabfg3ovves2rdg23bq

Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems

Pranav Srinivas Kumar, Gabor Karsai
2015 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops  
Integrated analysis of temporal behavior for distributed real-time embedded (DRE) systems is an important design-time step needed to verify safe and predictable system operation at run-time.  ...  In earlier work, we have shown a Colored Petri Net-based (CPN) approach to modeling and analyzing component-based DRE systems.  ...  Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not reflect the views of DARPA or NSF.  ... 
doi:10.1109/isorcw.2015.56 dblp:conf/isorc/KumarK15 fatcat:py6k7nq27vbdrix3bnbxxclyn4

Service-oriented SCADA and MES supporting Petri nets based orchestrated automation systems

Armando W. Colombo, J. Marco Mendes, Paulo Leitao, Stamatis Karnouskos
2012 IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society  
On one side, service-oriented automation works based on exposition, subscription and use of automation functions represented by e.g. web services.  ...  Among other methods, the application of formal Petri net based orchestration approaches is being industrially established.  ...  invocation, exposition and eventing.  Design time and run-time composition.  Analysis possibilities of models at design time.  Integrated decision support for conflict situations on the Petri nets  ... 
doi:10.1109/iecon.2012.6389076 dblp:conf/iecon/ColomboMLK12 fatcat:p46vlaoeqrdezbhzncag4g46ve
« Previous Showing results 1 — 15 out of 3,690 results