Filters: First Letter Of Title is P [Clear All Filters]
[AMMP08] Pushdown compression. :39-48.. 2008.
[MoEz-03] A Proposal for Flexible Testing of Deadlock Control Strategies in Resource Allocation Systems. :586-595.. 2003.
[CCS-Kyoto-89] Properties and Steady State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. :210-220.. 1989.
 Properties and Performance Bounds for Timed Marked Graphs. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications. 39(5):386-401.. 1992.
[CCS-TAC-91] Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks. IEEE Transactions on Automatic Control. 36:1368-1382.. 1991.
 Properties. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :53-77.. 2002.
 Properties. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :41-63.. 1998.
 Programs, Proofs, Processes: Proceedings of the 6th Conference on Computability in Europe, CiE, 2010. 6158. 2010.
[RP-82-07] Programmable logic controllers and Petri nets: A comparative study. :29-34.. 1982.
[RP-83-02] Programmable logic controllers and Petri nets: A comparative study. :83-88.. 1983.
[ARMoHaSeSi05] Product-form and stochastic Petri nets: a structural approach. Performance Evaluation. 59:313-336.. 2005.
[ETFA09] Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation.. 2009.
 A Probabilistic Abstraction Approach for Planning and Controlling Mobile Robots. ETFA'2011: 16th IEEE International Conference on Emerging Technologies and Factory Automation.. 2011.
 "Predictive Maintenance Surveyor" Design Pattern for Machine Tools Control Software Applications. 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011).. 2011.
 Predictive Maintenance Manager design pattern for component based machine tools. IEEE 9th International Conference on Industrial Informatics (INDIN’2011).. 2011.
[ICSilv93b] Practice of Petri-nets in manufacturing.. 1993.
[RP-92-31] A polynomial-time algorithm to decide liveness of bounded free choice nets. Theoretical Computer Science. :185-205.. 1992.
[EzVa-03] A polynomial solution for deadlock avoidance in assembly systems modelled with Petri nets. :1-8.. 2003.
 Polylog space compression, pushdown compression, and Lempel-Ziv are incomparable. Theory of Computing Systems. 48:731-766.. 2011.