Time-Soundness of Time Petri Nets Modelling Time-Critical Systems
暂无分享,去创建一个
[1] Jun Sun,et al. Complexity of the Soundness Problem of Bounded Workflow Nets , 2012, Petri Nets.
[2] MengChu Zhou,et al. Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[3] Hanifa Boucheneb,et al. Improving state class constructions for CTL* model checking of time Petri nets , 2008, International Journal on Software Tools for Technology Transfer.
[4] Laura Carnevali,et al. Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle , 2011, IEEE Transactions on Software Engineering.
[5] Didier Lime,et al. Model Checking of Time Petri Nets Using the State Class Timed Automaton , 2006, Discret. Event Dyn. Syst..
[6] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[7] Wei Zhao,et al. Design and Realization of WInternet , 2016, ACM Trans. Cyber Phys. Syst..
[8] Ferucio Laurentiu Tiplea,et al. The Reversible Released Form of Petri Nets and Its Applications to Soundness of Workflow Nets , 2016, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[9] MengChu Zhou,et al. A Branching-Process-Based Method to Check Soundness of Workflow Systems , 2016, IEEE Access.
[10] Gang Xu,et al. Reachability Analysis of Real-Time Systems Using Time Petri Nets , 2000 .
[11] Louchka Popova-Zeugmann,et al. Time-independent Liveness in Time Petri Nets , 2010, Fundam. Informaticae.
[12] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[13] Simona Bernardi,et al. Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques , 2011, IEEE Transactions on Industrial Informatics.
[14] Enrico Vicario,et al. Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets , 1995, IEEE Trans. Software Eng..
[15] Robin Milner,et al. Communicating and mobile systems - the Pi-calculus , 1999 .
[16] Nancy G. Leveson,et al. Safety Analysis Using Petri Nets , 1987, IEEE Transactions on Software Engineering.
[17] MengChu Zhou,et al. A Configurable State Class Method for Temporal Analysis of Time Petri Nets , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[18] Tomohiro Yoneda,et al. CTL Model Checking of Time Petri Nets Using Geometric Regions , 1998 .
[19] Olivier H. Roux,et al. Using Zone Graph Method for Computing the State Space of a Time Petri Net , 2003, FORMATS.
[20] Jeffrey J. P. Tsai,et al. Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications , 1995, IEEE Trans. Software Eng..
[21] Enrico Vicario,et al. Static Analysis and Dynamic Steering of Time-Dependent Systems , 2001, IEEE Trans. Software Eng..
[22] Chris J. Myers,et al. Automatic Verification of Timed Circuits , 1994, CAV.
[23] Hanifa Boucheneb,et al. A more efficient time Petri net state space abstraction preserving linear properties , 2007, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).
[24] Gregorio Díaz,et al. A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF , 2014, SEFM Workshops.
[25] Parameswaran Ramanathan,et al. Real-time computing: a new discipline of computer science and engineering , 1994, Proc. IEEE.
[26] Moe Thandar Wynn,et al. Soundness of workflow nets: classification, decidability, and analysis , 2011, Formal Aspects of Computing.
[27] Naiqi Wu,et al. IoT-Enabled Real-Time Production Performance Analysis and Exception Diagnosis Model , 2016, IEEE Transactions on Automation Science and Engineering.
[28] François Vernadat,et al. State Class Constructions for Branching Analysis of Time Petri Nets , 2003, TACAS.
[29] Ugo Buy,et al. Formal Modeling of Sequential Function Charts With Time Petri Nets , 2011, IEEE Transactions on Control Systems Technology.
[30] Yeison Camargo,et al. Wireless Sensor System According to the Concept of IoT -Internet of Things- , 2014, 2014 International Conference on Computational Science and Computational Intelligence.
[31] Ugo Buy,et al. Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[32] David J. Farber,et al. A note on recoverability of modular systems , 1899, AFIPS '75.
[33] Wojciech Penczek,et al. Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata , 2004, ICATPN.
[34] Hanifa Boucheneb,et al. Efficient Reachability Analysis for Time Petri Nets , 2011, IEEE Transactions on Computers.
[35] Changjun Jiang,et al. Behavioral Equivalence of Security-Oriented Interactive Systems , 2016, IEICE Trans. Inf. Syst..
[36] Wang Yi,et al. Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.
[37] GuanJun Liu. Some Complexity Results for the Soundness Problem of Workflow Nets , 2014, IEEE Transactions on Services Computing.
[38] M. Diaz,et al. Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..
[39] Sea Ling,et al. Time Petri nets for workflow modelling and analysis , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.
[40] P. Merlin,et al. Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.
[41] Jirí Srba,et al. Soundness of Timed-Arc Workflow Nets , 2014, Petri Nets.
[42] Neil D. Jones,et al. Complexity of Some Problems in Petri Nets , 1977, Theor. Comput. Sci..
[43] MengChu Zhou,et al. Interactive Petri Nets , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[44] Alexandre Yakovlev,et al. Verification of asynchronous circuits using time Petri net unfolding , 1996, DAC '96.
[45] Pedro Manuel González del Foyo,et al. Some issues in real-time systems verification using time Petri Nets , 2011 .
[46] Karlis Cerans,et al. Decidability of Bisimulation Equivalences for Parallel Timer Processes , 1992, CAV.
[47] Wang Yi,et al. Timed Automata Patterns , 2008, IEEE Transactions on Software Engineering.
[48] Mohamed Ghazel,et al. A customizable railway benchmark to deal with fault diagnosis issues in DES , 2016, 2016 13th International Workshop on Discrete Event Systems (WODES).
[49] Kamel Barkaoui,et al. On Liveness in Extended non Self-Controlling Nets , 1995, Application and Theory of Petri Nets.
[50] Lida Xu,et al. A New Approach for Compliance Checking in Service Workflows , 2014, IEEE Transactions on Industrial Informatics.
[51] Bernard Berthomieu,et al. An Enumerative Approach for Analyzing Time Petri Nets , 1983, IFIP Congress.
[52] Rong Yang,et al. A Petri Net-Based Approach to Service Composition and Monitoring in the IOT , 2014, 2014 Asia-Pacific Services Computing Conference.
[53] MengChu Zhou,et al. Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets , 2014, IEEE Transactions on Automation Science and Engineering.
[54] Wil M. P. van der Aalst,et al. Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques , 2000, Business Process Management.
[55] Alireza Sadeghian,et al. “CANthings”(Context Aware Network for the Design of Connected Things) service modeling based on Timed CPN , 2015, Proceedings of the 2015 IEEE 9th International Conference on Semantic Computing (IEEE ICSC 2015).