References

Adya, A., J. Howell, M. Theimer, W.J. Bolosky and J.R. Douceur, 2002. Cooperative task management without manual stack management. Proceedings of the Annual International Conference on General Track of the USENIX Annual Technical, June 10-15, 2002, USENIX Association Berkeley, California, USA., ISBN:1-880446-00-6, pp: 289-302.

Awasthi, V.V., 2014. A note on the computation of incidence matrices of simplicial complexes. Intl. J. Pure Appl. Math., 90: 433-438.
Direct Link  |  

Badouel, E., L. Bernardinello and P. Darondeau, 2015. Petri Net Synthesis. Springer, Berlin, Germany, ISBN:978-3-662-47966-7, Pages: 339.

BaskocagIl, C. and S. Kurtulan, 2011. Generalized state equation for Petri nets. Wseas Trans. Syst., 10: 295-305.
Direct Link  |  

Behren, J.R.V., J. Conditand and E.A. Brewer, 2003. Why events are a bad idea (for high-concurrency servers). Proceedings of the 9th International Conference on Hot Topics in Operating Systems HOTOS'03 Vol. 9, May 18-21, 2003, USENIX Association Berkeley, California, USA., pp: 19-24.

Behren, R.V., J. Condit, F. Zhou, G.C. Neculaand and E. Brewer, 2003. Capriccio: Scalable threads for internet services. Proceedings of the ACM International Conference on SIGOPS Operating Systems Review Vol. 37, October 19-22, 2003, ACM, New York, USA., ISBN:1-58113-757-5, pp: 268-281.

Chaouiya, C., 2007. Petri net modelling of biological networks. Briefings Bioinf., 8: 210-219.
CrossRef  |  PubMed  |  Direct Link  |  

Dassow, J. and S. Turaev, 2009. Petri net controlled grammars: The case of special Petri nets. J. Univ. Comput. Sci., 15: 2808-2835.
Direct Link  |  

Fischer, J.M., 2008. Robust Service Composition. University of California, Los Angeles, California, Pages: 261.

Gay, D., P. Levis, R.V. Behren, M. Welsh and E. Brewer et al., 2003. The nesC language: A holistic approach to network embedded systems. Proceeding of the 2003 ACM International Conference on Programming Language Design and Implementation (PLDI), June 9-11, 2003, ACM, San Diego, California, USA., pp: 1-11.

Murata, T., 1977. State equation, controllability and maximal matchings of Petri nets. IEEE. Trans. Autom. Control, 22: 412-416.
CrossRef  |  Direct Link  |  

Murata, T., 1989. Petri nets: Properties, analysis and applications. Proc. IEEE., 77: 541-580.
CrossRef  |  Direct Link  |  

Pai, V.S., P. Druscheland and W. Zwaenepoel, 1999. Flash: An efficient and portable web server. Proceedings of the USENIX Annual Conference on Technical General Track, June 6-11, 1999, USENIX, Monterey, California, USA., pp: 199-212.

Peterson, J.L., 1981. Petri Net Theory and the Modeling of Systems. Prentice-Hall, Upper Saddle River, New Jersey, USA., ISBN:9780136619833, Pages: 290.

Salvaneschi, G., A. Margaraand and G. Tamburrelli, 2015. Reactive programming: A walkthrough. Proceedings of the 2015 IEEE/ACM 37th International Conference on Software Engineering (ICSE’15) Vol. 2, May 16-24, 2015, IEEE, Florence, Italy, ISBN:978-1-4799-1934-5, pp: 953-954.

Welsh, M., D. Cullerand and E. Brewer, 2001. SEDA: An architecture for well-conditioned, scalable internet services. Proceedings of the ACM International Conference on SIGOPS Operating Systems Review Vol. 35, October 21-24, 2001, ACM, New York, USA., ISBN:1-58113-389-8, pp: 230-243.