Places, Transitions and Queues: New Proposals for Interconnection Semantics
- 25 January 2023
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Performance Evaluation with Java Modelling Tools:ACM SIGMETRICS Performance Evaluation Review, 2018
- An Introduction to Multiformalism ModelingPublished by IGI Global ,2013
- The SIMTHESys multiformalism modeling frameworkComputers & Mathematics with Applications, 2012
- Element Based Semantics in Multi Formalism Performance ModelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2010
- QPMEACM SIGMETRICS Performance Evaluation Review, 2009
- The software architecture of the OsMoSys Multisolution FrameworkPublished by European Alliance for Innovation n.o. ,2007
- Repairable fault tree for the automatic evaluation of repair policiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- The Mobius framework and its implementationIEEE Transactions on Software Engineering, 2002
- AToM3: A Tool for Multi-formalism and Meta-modellingLecture Notes in Computer Science, 2002
- PNiQ: Integration of queuing networks in generalised stochastic Petri netsIEE Proceedings - Software, 1999