Chen C, Hong Z and Jiang J. (2022). Scheduling in Real-Time Mobile Systems. ACM Transactions on Embedded Computing Systems. 21:3. (1-36). Online publication date: 31-May-2022.

Kaneshiro P, Haghighi P and Ling S. (2014). Situation-aware adaptation to optimise energy consumption in intelligent buildings using coloured Petri Nets 2014 IEEE 9th Conference on Industrial Electronics and Applications (ICIEA). 10.1109/ICIEA.2014.6931164. 978-1-4799-4315-9. (231-236).

http://ieeexplore.ieee.org/document/6931164/

Zaitsev D. Composition of Functional Petri Nets. Formal Methods in Manufacturing Systems. 10.4018/978-1-4666-4034-4.ch017. (404-464).

http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-4034-4.ch017

Wolf K, Stahl C, Weinberg D, Ott J and Danitz R. (2011). Guaranteeing Weak Termination in Service Discovery. Fundamenta Informaticae. 108:1-2. (151-180). Online publication date: 1-Jan-2011.

/doi/10.5555/2362088.2362096

Kambadur P, Gupta A, Ghoting A, Avron H and Lumsdaine A. PFunc. Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis. (1-11).

https://doi.org/10.1145/1654059.1654103

Tsai J and Liu A. (2009). Experience on knowledge-based software engineering. Journal of Systems and Software. 82:10. (1578-1587). Online publication date: 1-Oct-2009.

https://doi.org/10.1016/j.jss.2009.03.019

Ding Z. Static Analysis of Concurrent Programs Using Ordinary Differential Equations. Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing. (1-35).

https://doi.org/10.1007/978-3-642-03466-4_1

Wolf K, Stahl C, Ott J and Danitz R. (2009). Verifying Deadlock- and Livelock Freedom in an SOA Scenario 2009 Ninth International Conference on Application of Concurrency to System Design (ACSD). 10.1109/ACSD.2009.16. 978-0-7695-3697-2. (168-177).

http://ieeexplore.ieee.org/document/5291045/

Ding Z and Liu J. (2009). An Improvement of Software Architecture Verification. Electronic Notes in Theoretical Computer Science (ENTCS). 243. (49-67). Online publication date: 1-Jul-2009.

https://doi.org/10.1016/j.entcs.2009.07.005

Das D, Chakrabarti P and Kumar R. (2009). Scenario-based timing verification of multiprocessor embedded applications. ACM Transactions on Design Automation of Electronic Systems. 14:3. (1-58). Online publication date: 1-May-2009.

https://doi.org/10.1145/1529255.1529259

Ding Z, Jiang C, Zhou M and Zhang Y. Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans. 10.1109/TSMCA.2008.923064. 38:4. (791-801).

http://ieeexplore.ieee.org/document/4544880/

Das D, Chakrabarti P and Kumar R. (2007). Functional verification of task partitioning for multiprocessor embedded systems. ACM Transactions on Design Automation of Electronic Systems. 12:4. (44-es). Online publication date: 1-Sep-2007.

https://doi.org/10.1145/1278349.1278357

Reza H, Endapally S and Grant E. A Model-Based Approach for Testing GUI Using Hierarchical Predicate Transition Nets. Proceedings of the International Conference on Information Technology. (366-370).

https://doi.org/10.1109/ITNG.2007.9

Reza H and Grant E. (2007). A method to test concurrent systems using architectural specification. The Journal of Supercomputing. 39:3. (347-357). Online publication date: 1-Mar-2007.

https://doi.org/10.1007/s11227-006-0017-0

Dahl O and Wolthusen S. Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets. Proceedings of the Fourth IEEE International Workshop on Information Assurance. (157-168).

https://doi.org/10.1109/IWIA.2006.17

Zaitsev D and Zaitsev I. (2006). VERIFICATION OF ETHERNET PROTOCOLS VIA PARAMETRIC COMPOSITION OF PETRI NET. IFAC Proceedings Volumes. 10.3182/20060517-3-FR-2903.00146. 39:3. (261-268).

https://linkinghub.elsevier.com/retrieve/pii/S1474667015358663

Kovalyov M, Cheng T, Kotov V and Ng C. (2006). A DISCRETE EOQ PROBLEM WITH MAXIMUM ORDER SIZE COSTS. IFAC Proceedings Volumes. 10.3182/20060517-3-FR-2903.00144. 39:3. (259-263).

http://linkinghub.elsevier.com/retrieve/pii/S147466701535864X

Gomes L and Barros J. (2005). Structuring and Composability Issues in Petri Nets Modeling. IEEE Transactions on Industrial Informatics. 10.1109/TII.2005.844433. 1:2. (112-123). Online publication date: 1-May-2005.

http://ieeexplore.ieee.org/document/1430654/

He X, Yu H, Shi T, Ding J and Deng Y. (2004). Formally analyzing software architectural specifications using SAM. Journal of Systems and Software. 71:1-2. (11-29). Online publication date: 1-Apr-2004.

https://doi.org/10.1016/S0164-1212(02)00087-0

Mäkelä M. Model checking safety properties in modular high-level nets. Proceedings of the 24th international conference on Applications and theory of Petri nets. (201-220).

/doi/10.5555/1760066.1760083

Tsai J, Juan E and Sahay A. (2003). Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems. IEEE Transactions on Knowledge and Data Engineering. 15:2. (405-422). Online publication date: 1-Feb-2003.

https://doi.org/10.1109/TKDE.2003.1185842

Mäkelä M. (2003). Model Checking Safety Properties in Modular High-Level Nets. Applications and Theory of Petri Nets 2003. 10.1007/3-540-44919-1_15. (201-220).

http://link.springer.com/10.1007/3-540-44919-1_15

Xu D, He X and Deng Y. (2002). Compositional schedulability analysis of real-time systems using time Petri nets. IEEE Transactions on Software Engineering. 28:10. (984-996). Online publication date: 1-Oct-2002.

https://doi.org/10.1109/TSE.2002.1041054

He X, Ding J and Deng Y. Model checking software architecture specifications in SAM. Proceedings of the 14th international conference on Software engineering and knowledge engineering. (271-274).

https://doi.org/10.1145/568760.568808

Fukuzawa K and Saeki M. Evaluating software architectures by coloured petri nets. Proceedings of the 14th international conference on Software engineering and knowledge engineering. (263-270).

https://doi.org/10.1145/568760.568807

(2002). Turski, Wladyslaw M.. Encyclopedia of Software Engineering. 10.1002/0471028959.sof565.

https://onlinelibrary.wiley.com/doi/10.1002/0471028959.sof565

(2002). Tsai, Jeffrey J. P.. Encyclopedia of Software Engineering. 10.1002/0471028959.sof563.

https://onlinelibrary.wiley.com/doi/10.1002/0471028959.sof563

(2002). Broy, Manfred. Encyclopedia of Software Engineering. 10.1002/0471028959.sof410.

https://onlinelibrary.wiley.com/doi/10.1002/0471028959.sof410

Tsai J and Juan E. Model and heuristic technique for efficient verification of component-based software systems First IEEE International Conference on Cognitive Informatics. 10.1109/COGINF.2002.1039283. 0-7695-1724-2. (59-68).

http://ieeexplore.ieee.org/document/1039283/

Juan E, Tsai J, Murata T and Zhou Y. (2001). Reduction Methods for Real-Time Systems Using Delay Time Petri Nets. IEEE Transactions on Software Engineering. 27:5. (422-448). Online publication date: 1-May-2001.

https://doi.org/10.1109/32.922714

Tsai J and Xu K. (2000). A comparative study of formal verification techniques for software architecture specifications. Annals of Software Engineering. 10:1-4. (207-223). Online publication date: 11-Jan-2000.

https://doi.org/10.1023/A:1018960305057

Bordbar B, Giacomini L and Holding D. UML and Petri nets for design and analysis of distributed systems 2000 IEEE International Conference on Control Applications. 10.1109/CCA.2000.897497. 0-7803-6562-3. (610-615).

http://ieeexplore.ieee.org/document/897497/

Bordbar B, Giacomini L and Holding D. (2000). Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets. Discrete Event Systems. 10.1007/978-1-4615-4493-7_23. (227-237).

http://link.springer.com/10.1007/978-1-4615-4493-7_23

Tsai J and Xu K. (1999). An empirical evaluation of deadlock detection in software architecture specifications. Annals of Software Engineering. 7:1-4. (95-126). Online publication date: 11-Jun-1999.

https://doi.org/10.1023/A:1018954709174

Tsai J, Liu A, Juan E and Sahay A. (1999). Knowledge-Based Software Architectures. IEEE Transactions on Knowledge and Data Engineering. 11:1. (187-201). Online publication date: 1-Jan-1999.

https://doi.org/10.1109/69.755628